Ondřej Kunčar

I am a postdoctoral researcher at the Chair for Logic and Verification at the Technische Universität München, Germany. I joined the group as a Ph.D. student in 2011 and defended my thesis in 2016. I obtained my master degree at the Charles University in Prague, Czech Republic.

I currently work in the RS3 project. My research focuses on holistic security of web-based systems, interactive theorem proving, developement of automation for type systems of HOL-based provers, and foundations of higher-order logic.

Address: Technische Universität München
Fakultät für Informatik
Boltzmannstr. 3
85748 Garching
Telephone: +49 (89) 289-17332
Telefax: +49 (89) 289-17301
Office: MI 00.09.059




Ph.D. thesis

Master thesis