Built by people who care about what specifications mean.

Twenty years building mathematical and physical models for systems that have to be right, from Level D flight simulation to computational physics and climate research. She brings deep experience in model-based design, scientific computing, and uncertainty-aware engineering to Bevisera's proof-based approach.

Three decades building software where ambiguity is expensive, from A320 and B737 Level D simulator software to aviation consulting, protocol verification, Scala/FP systems, and executable specifications. He explored Agda-based business specification ideas at JetBrains in 2012, before the tools and market were ready, and later used Scala type classes to capture domain intent as executable structure. Bevisera continues that thread with Lean, AI agents, and machine-checkable specifications.