Ondřej Kunčar


I was a postdoctoral researcher at the Chair for Logic and Verification at the Technische Universität München until November 2017. 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.

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. As a postdoctoral researcher, I worked in the RS3 project.

e-mail:

Publications

Journals

Conferences

Workshops

Ph.D. thesis

Master thesis