Andrei Stefanescu
Co-Founder And Chief Scientist at Asymptotic
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAndrei Stefanescu is a co-founder and chief scientist with 16 years of experience applying formal methods to real-world software and security problems. He holds a PhD in Computer Science from UIUC and has bridged academic research and industry at places like Facebook and Galois, focusing on program verification, runtime verification, and privacy-aware program analysis. Andrei has hands-on expertise in back-end verification engines and cryptographic proof work—contributing to notable open-source projects such as the K Framework and Amazon’s s2n-tls with concrete improvements to Java rewrite engines and SAW-backed proofs. Based in San Francisco, he combines deep theorem-proving skills with product-minded engineering, routinely turning formal guarantees into practical tooling. Colleagues know him for tackling subtle correctness issues—like false-equality detection and cipher-suite proof coverage—that others often miss.
15 years of coding experience
7 years of employment as a software developer
University of Illinois Urbana-ChampaignBachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at Universitatea „Politehnica” din București
Github Skills (17)
crypto10
ssl10
tls1210
c1110
tls1310
data-structure10
java10
c1710
javas10
mtls10
cryptography10
libtls10
encryption10
algorithm9
algorithms9
Programming languages (11)
Github contributions (5)
runtimeverification/k
Jun 2010 - Apr 2018
K Framework Tools 7.0
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1151 commits, 8 PRs, 6 pushes in 7 years 11 months
Contributions summary:Andrei's contributions appear to focus on enhancing the Java rewrite engine within the K Framework Tools 7.0 repository. Their work includes refactoring code, addressing issues related to concrete collection variables, and improving the detection of false equalities in the Java rewrite engine. They also added support for specific language constructs. These actions are related to the back-end and core logic of the project.
edaframeworkdataflow-programmingtlaplus
aws/s2n-tls
Feb 2019 - Nov 2020
An implementation of the TLS/SSL protocols
Role in this project:Security Engineer
Security EngineerContributions:1 review, 30 commits, 7 PRs in 1 year 9 months
Contributions summary:Andrei's contributions primarily involve modifications and additions to tests and proofs related to the s2n-tls library, focusing on the TLS/SSL protocols. These changes include adding and modifying test cases to ensure the correct handling of cipher suites, especially those related to RSA and ECDSA, and the inclusion of SCSV. Furthermore, the user has made significant contributions to formal verification efforts, adding and updating SAW proofs for core cryptographic functions and algorithms within the library. The user also bumped SAW versions, added cleanup and other fixes.
cryptographysslc99tlscrypto
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.