david hauzar
software engineer in adacore
About
Specialities: software verification, static program analysis
germany
passau
computer software
computer science, java, model checking, programming, c#, c++, php, program analysis, software verification, latex, eclipse, algorithms, git, software engineering, subversion, digital image processing, machine learning, mobile application development, web application development, ocaml
Experience
research assistant and ph.d student
department of distributed and dependable systems charles university in prague
Research on formal methods and static program analysis with focus on dynamic languages, web applications, and security.
php developer
ceska digitalni media s.r.o
Implementation of system for actualization of database of Oscommerce eshop system from supplier's price lists, other customizations of Oscommerce eshop system.
php developer
forpsi
Development of a ftp client, development of a system for evaluation of employees.
html and css coder
praguebest
research engineer
inria
Development of the Why3 verification platform.
software engineer in adacore
adacore
Development of the SPARK Pro static analysis toolsuite and CodePeer source code analyzer.
Education
computer science
max planck institute for informatics saarbrücken
computer science
charles university
computer science
Thesis: Analysis of Digital Videokymographic Images as a Tool for Vocal Folds Diagnostics
charles university
computer science
charles university
computer science
Thesis: Towards Static Analysis of Languages with Dynamic Features
david hauzar's Contact Information
Phone
Find the Right Leads
Find Verified Contact Data
What LeadContact does well
Find verified emails, phone numbers, and decision-makers with 98% accuracy.
Find Leads
Find the right people by company, role, industry, location, and more.
925M+ professional profiles
Find Emails
Access verified email addresses for your target contacts.
657M+ emails
Find Phone Numbers
Get cross-validated phone data from multiple top sources.
239M+ phone numbers
More Accurate. Lower Cost.
Find contact data in 1 tool with 98% accuracy
LeadContact integrates leading enrichment tools to deliver more accurate contact data—without paying for each one.
Great conversations start with the right contact.
It’s time to find yours.