June Andronick
CEO And Co-founder at Proofcraft
Bordeaux, Nouvelle-Aquitaine, France
Summary
🤩
Rockstar🎓
Top SchoolJune Andronick is a technical founder and CEO with deep expertise in formal verification and a track record of translating theorem-proving research into commercial services through Proofcraft and stewardship roles at the seL4 Foundation. She combines academic leadership as an adjunct professor at UNSW with industry impact as former leader of Data61’s Trustworthy Systems group, best known for the seL4 microkernel verification. Her work centers on interactive theorem proving, concurrency reasoning, and certification of security-critical software, bridging high-assurance proofs and real-world deployments. Based in Bordeaux, she uniquely pairs hands-on verification experience dating to smart-card formal methods with organizational leadership across research, standards, and training.
5 years of coding experience
19 years of employment as a software developer
Doctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Paris-Sud University (Paris XI)
Github Skills (28)
verification10
docstrings10
proof9
idris9
sel49
documentation9
isabelle8
microkernel8
tla8
tlaplus7
agda7
specification7
sat-solver7
rfc7
trust7
Programming languages (4)
Github contributions (5)
ITPConference/ITP22
Sep 2021 - May 2022
Contributions:21 pushes in 8 months
seL4/website
Nov 2020 - Oct 2022
The seL4.systems website
Contributions:188 reviews, 35 commits, 87 PRs in 1 year 11 months
microkernelsel4verification
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.