David Hauzar

David Hauzar has a diverse work experience spanning different roles and industries. David started their career in 2003 as an HTML/CSS Coder at PragueBest. In 2003, they also worked as a PHP Developer at Forpsi. In 2004, they briefly worked as a PHP Developer at Ceska digitalni media s.r.o.

In 2010, David joined the Department of Distributed and Dependable Systems at Charles University in Prague, where they served as a Research Assistant and Ph.D. student until December 2014.

In 2015, David joined Inria as a Research Engineer, where they worked for the entire year. David then joined AdaCore in the same year as a Software Engineer, where they are currently employed.

David Hauzar completed their Bachelor's Degree in Computer Science at Charles University from 2004 to 2007. David then pursued their Master's Degree in Computer Science at the same university from 2007 to 2010. Following this, they obtained their Doctor of Philosophy (Ph.D.) in Computer Science from Charles University from 2010 to 2014. Additionally, they participated in various educational programs and institutes including the Advanced Study Institute of the NATO Science for Peace and Security Programme in 2012, the Max Planck Institute for Informatics Saarbrücken in 2012, and the LASER Foundation in 2011, where they focused on further advancing their knowledge in the field of Computer Science.