Univalent

The Antidote to Slop

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 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 of complex software systems more scalable, without compromising trust or responsibility.

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. 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.

  • Máté Kovács

    Máté is a technologist and engineer. He has over a decade of experience working on software reliability in robotics and AI companies, mentoring fellow engineers, and building teams. His studies in autonomous intelligent systems have made him obsessed with practical tools that improve software correctness.

    After years of professional Haskell and Scala work, a return to C++ for robotics and AI left him deeply dissatisfied. That frustration fuels his determination to improve the status quo.

    He has served as president of TokyoRust.org since 2022. He holds degrees in Computer Science (Florida Institute of Technology) and Computer Engineering (Budapest University of Technology).