Benjamin Sepanski
Staff Compiler Engineer at Mythic
Houston, Texas, United States
Summary
👤
Senior🎓
Top SchoolBenjamin Sepanski is a Staff Compiler Engineer with eight years of experience building program analysis and compiler tooling, currently working at Mythic and previously leading security audits and tooling at Veridise. He combines a strong academic background in computer science and mathematics (UT Austin and Baylor) with hands-on research experience applying performance-portable DSLs and numerical methods to scientific codes. Benjamin has deep expertise auditing smart contracts, ZK circuits, and key management systems, and is equally comfortable writing static analysis tools and attacking protocols to find subtle vulnerabilities. Notably, his work spans low-level compiler and data-layout optimization for GPUs as well as high-assurance cryptographic engineering, reflecting a rare blend of numerical performance tuning and security-focused program analysis. Based in Houston, he brings both research rigor and practical leadership in managing audits, training auditors, and shipping tooling that scales from proofs-of-concept to production.
8 years of coding experience
2 years of employment as a software developer
Computer Science, Computer Science at The University of Texas at AustinMathematics, Numerical Methods for PDEs, Mathematics, Numerical Methods for PDEs at Baylor University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (60)
portable10
simulation10
mesh10
unstructured10
differential-equations10
partial-differential-equations10
partial10
opencl9
discretization9
bytecode9
optimization8
scientific-computing8
python8
java8
soot8
Programming languages (6)
Github contributions (5)
benSepanski/fd2mm
Feb 2019 - Feb 2020
Contributions:171 pushes, 19 branches, 1 comment in 1 year
utopia-group/cortado
Feb 2022 - Mar 2022
Cortado implementation and Benchmarks from our 2022 OOPSLA paper
Contributions:5 reviews, 34 commits, 5 PRs in 1 month
benchmarkbenchmarks
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.