David Hauzar
Software Engineer at AdaCore
France
Summary
👤
Senior🎓
Top SchoolDavid Hauzar is a software engineer with 11 years' experience specializing in software verification and static program analysis, currently developing CodePeer and SPARK Pro at AdaCore. He holds a Ph.D. in Computer Science and has a strong research background from roles at Inria and Charles University focused on formal methods, dynamic languages, web app security and the Why3 verification platform. Comfortable bridging research and production, he has moved academic verification tools into industrial-strength analyzers used in safety-critical contexts. Based in France, he combines deep formal-methods expertise with practical engineering instincts dating back to early PHP and web development work, giving him a rare end-to-end perspective on code quality and deployable analysis tooling.
11 years of coding experience
6 years of employment as a software developer
Computer Science, Computer Science at LASER FoundationComputer Science, Computer Science at Max Planck Institute for Informatics SaarbrückenComputer Science, Computer Science at Advanced Study Institute of the NATO Science for Peace and Security ProgrammeDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Charles University in Prague
English, German, French, Czech
Github Skills (31)
emr10
objective-c10
static-code-analysis10
spark10
static-analysis10
analyzer10
java10
static-analyzer10
cpp10
reliability10
sat-solver8
verification8
tlaplus7
agda7
coq7
Programming languages (3)
Github contributions (5)
dhauzar/infer
Nov 2021 - Mar 2023
A static analyzer for Java, C, C++, and Objective-C
Contributions:27 pushes, 6 branches in 1 year 3 months
static-analyzerobjective-ccppstatic-code-analysiscode-analysis
AdaCore/spark2014
Jun 2015 - Aug 2022
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Contributions:102 commits in 7 years 3 months
emrhigh-reliabilitysparkreliabilityengineering
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.