Cosmin Radoi
Co-Founder at Asymptotic
Urbana, Illinois, United States
Summary
👤
Senior🎓
Top SchoolCosmin Radoi is a software engineer and serial founder with 17 years of experience building program analysis and transformation tools, currently co-founding Asymptotic to commercialize next-generation automatic program transformation. With a PhD from UIUC and a track record of research-to-product work (including ReLooper and leadership of Unhack AI Labs and prior startups), he blends deep static analysis expertise with practical engineering. He contributes to well-regarded open-source analysis tooling like WALA, focusing on core Java program-analysis reliability and test-driven improvements. Based in Urbana, Illinois, he’s equally at home debugging SSA cache idempotence as leading product strategy, reflecting a rare mix of low-level technical depth and entrepreneurial drive.
17 years of coding experience
8 years of employment as a software developer
Bachelor Computer and Information Technology, Bachelor Computer and Information Technology at Politehnica University TimisoaraGrigore Moisil Highschool, TimisoaraDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Illinois Urbana-Champaign
Stackoverflow
219reputation
13kreached
4answers
1question
Github Skills (13)
testing10
javas10
static-analysis10
java10
callgraph10
program-analysis10
dataflow9
http6
big-data6
simulation6
sbt6
akka6
scala6
Programming languages (14)
Github contributions (5)
wala/WALA
Feb 2013 - Nov 2014
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Role in this project:
Backend Developer & QA Engineer
Backend Developer & QA EngineerContributions:19 commits, 3 comments in 1 year 9 months
Contributions summary:Cosmin primarily contributed to the core Java-based program analysis library, focusing on improving code quality and ensuring the reliability of the framework. Their work includes fixing bugs related to SSA caching and classloader issues in tests, and implementing functional improvements such as replacing a `Filter` with a `Predicate`. The user also enhanced testing by introducing a test case for SSA cache idempotence.
frontendsanalysesslicingcallgraphabstract-interpretation
cos/IteRace
Mar 2012 - Mar 2014
Contributions:283 commits, 1 comment in 2 years
race-detectionloopsparalleljavarace
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.