Ivan Gotovchits
Staff Software Engineer at Bugcrowd
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolIvan Gotovchits is a Staff Software Engineer with 12 years of deep experience at the intersection of AI, program analysis, and cybersecurity, currently based in Pittsburgh. He has led development of large-scale binary analysis and fuzzing systems—from founding work on CMU’s Binary Analysis Platform to productionizing symbolic execution and fuzzer integrations at ForAllSecure and Bugcrowd. Ivan combines systems-level rigor (real-time and embedded software, QEMU forks, AUTOSAR integrations) with statistical and CI-driven approaches to improve tooling performance and resource utilization. He has a track record of translating research into customer-facing solutions, enabling contract renewals and industrial collaborations with vendors like Siemens and Boeing. Comfortable leading teams and teaching practitioners, he also maintains a long history of open-source contributions and niche language expertise (OCaml tooling and compiler work) that underpins much of his tooling.
12 years of coding experience
20 years of employment as a software developer
Master of Science Electronic Engineering, Master of Science Electronic Engineering at Moscow State Institute of Radio Engineering, Electronics and AutomationMathematics and Computer Science, Mathematics and Computer Science at Harvard Extension School
Russian, English
Stackoverflow
34,935reputation
841kreached
917answers
0questions
compilation
top-5%
ocaml
top-1%
functional-programming
top-5%
pattern-matching
top-5%
recursion
top-1%
polymorphism
top-5%
Github Skills (200)
minecraft10
hugo10
analyser10
security10
regression10
pde-solver10
ida10
arm10
introspection10
owl10
ppx10
runner10
optimization10
program-analysis10
opam10
Programming languages (15)
Github contributions (5)
BinaryAnalysisPlatform/bap-plugins
Mar 2015 - Nov 2020
BAP Plugins Repository
Contributions:1 release, 224 commits, 34 PRs in 5 years 8 months
javaminecraftbapplugin
BinaryAnalysisPlatform/binaryanalysisplatform.github.io
Dec 2014 - Jan 2023
The BAP Blog
Contributions:157 commits, 3 PRs, 82 pushes in 8 years 2 months
hugojekyllbap
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.