Welcome to the Homepage of Jan Křetínský

Since October 2015 I am a tenure-track assistant professor at the Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany.

Contact

firstname.lastname@in.tum.de
Room: MI 03.11.044
Boltzmannstr. 3, 85748 Garching, Germany
Tel.: +49 89 289 17209
I may look like any of the guys on the right. So don't be surprised when contacting me in person:-)

Research

ha-index: 89
For h-index, see Google Scholar

Areas

Publications

See DBLP, or my CV or Google Scholar. Some full versions are accessible as technical reports not listed by DBLP. The bibtex entries can be found here.

Tools

Community service

Events organization

PC Member

Invited Talks

Isola 2016, WATA 2016, Mysore workshop "Trends and Challenges in Quantitative Verification" in 2016, Dagstuhl seminars in 2017 (3x), 2015, 2014, 2010

Education and previous positions

Stays

Apart from working at IST Austria, Masaryk University Brno, and Technical University Munich, I also stayed at

Teaching

Lectures

Tutorials

Technical University Munich Masaryk University

Students

Personal

I am also interested in travelling, photography, skiing, windsurfing, volleyball, chocolate, languages etc.