Simon Bischof
Software Development Engineer at VECTOR Informatik
Leonberg, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolSimon Bischof is a Software Development Engineer at Vector Informatik with 11 years of experience building tooling for C/C++ analysis, grounded in a research background from Karlsruhe Institute of Technology where he completed advanced work in program analysis, software security, and information-flow control. He combines academic rigor from his years as a doctoral researcher and scientific staff with practical engineering skills to deliver analyzers that help improve code quality and safety in embedded and automotive contexts. Based in Leonberg, Germany, Simon is comfortable navigating both research challenges and product-driven development cycles, translating formal methods into usable developer tools. An understated strength is his long-term continuity at KIT, where tutoring and collaboration honed his ability to communicate complex technical ideas to diverse audiences.
11 years of coding experience
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Karlsruher Institut für Technologie (KIT)
German, English
Github Skills (12)
control-flow10
requirements-management10
java9
python9
theorem-proving6
coq6
security6
cryptography6
haskell5
dependent-types5
proof-assistant5
watson4
Programming languages (4)
Github contributions (5)
MiniJavaInScala/mj-test
Jan 2015 - Feb 2015
Contributions:12 pushes in 28 days
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.