Univalent

Rails for Robots

Our Mission

We believe software should earn trust the way physical infrastructure does. Based in Japan and inspired by its culture, we work to carry forward traditions of engineering rigor and long-term responsibility into the world of software.

We explore new approaches at the intersection of robotics, AI, systems software, and formal methods to expand what disciplined software engineering can achieve. By pairing machine learning with symbolic reasoning and human judgment, we aim to make the construction and deployment of complex software systems more scalable, without compromising trust or responsibility. We're currently in deep development and exploration, If you'd like to get in touch with us please reach out to contact@univalent.cc

Our Team

We have over 50 years of combined experience in the fields of systems programming, robotics, semiconductors, and AI. We've worked with companies such as Apple, Google, and Toyota.

  • Brandon Pollack

    With nearly a decade of experience shaping flagship products at Microsoft and Google - including Windows, Cortana, Google Assistant, Cloud Dataflow, and ChromeOS - Brandon has engineered systems, applications, and services at the forefront of the AI revolution.

    A Rust pioneer using the language since its pre-1.0 days, Brandon applies this expertise to build robust, high-performance systems. He is also a key figure in the Japanese Rust community; a Japanese speaker, he serves as Vice President of TokyoRust.org.

    Offline, Brandon explores Japan by motorcycle, scuba dives the local seas, and is an avid runner.

  • Luke Peterson

    Luke is a software engineer, system architect and engineering executive with over two decades of experience. After starting his career at Apple, he co-founded Caustic Graphics which was acquired by Imagination Technologies to enable real-time ray tracing on GPUs.

    His expertise includes building and managing solid teams, translating business goals into technical vision, and driving towards delivering that vision.

    In addition he has extensive knowledge of the patent systems and has been awarded over 40 issued U.S. patents, with over 100 cases internationally and pending. Recently he has been developing tools to enable fundamental research for new approaches to AI.