Manasvi Saxena
Chief Executive Officer at Satyax Inc.
Urbana, Illinois, United States
Summary
👤
Senior🎓
Top SchoolManasvi Saxena is a CEO and computer scientist with a PhD from UIUC and 12 years of experience applying formal methods to build real-world, correctness-first systems. At the helm of Satyax Inc. she translates a semantics-first philosophy into trustworthy clinical decision support tools that prioritize safety and maintainability. Her research in the Formal Systems Laboratory produced a semantics-driven approach to clinical workflows, and she has applied those techniques in industry roles at AWS and Runtime Verification. An active contributor to the K-framework EVM semantics—helping implement and test symbolic execution and correctness proofs—she blends deep PL/logic expertise with product-focused execution. Based in Urbana, IL, she combines academic rigor with startup leadership to bring auditable, production-ready verification into healthcare.
12 years of coding experience
2 years of employment as a software developer
University of Illinois Urbana-Champaign
English, Hindi
Github Skills (6)
evm10
symbolic-execution10
formal-verification10
virtual-machine10
blockchain9
solidity4
Programming languages (9)
Github contributions (5)
runtimeverification/evm-semantics
Oct 2016 - Feb 2018
K Semantics of the Ethereum Virtual Machine (EVM)
Role in this project:
Backend Developer
Backend DeveloperContributions:173 commits, 54 PRs, 236 pushes in 1 year 4 months
Contributions summary:Manasvi primarily focused on implementing and testing the functionality of the Ethereum Virtual Machine (EVM) semantics within the `runtimeverification/evm-semantics` repository. Their work involved creating and modifying test cases related to function calls, foreign calls, memory operations (MLOAD, MSTORE), and symbolic execution. The user was actively involved in verifying the correctness of EVM operations, adding support for symbolic words, and working on a specification file for proving program correctness.
ethereumblockchainevmvirtual-machineethereum-virtual-machine
msaxena2/PyGraphLib
Feb 2014 - Mar 2018
Contributions:21 commits, 5 pushes, 1 comment in 4 years 2 months
pythongraph-librarygraph-algorithmsgraph
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.