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
ORCID iD: 0000-0002-8122-2881
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

Logic and Learning (workshop at Alan Turing Institute of data science) in 2018, QuaSy 2017, KiMfest 2017, Isola 2016, WATA 2016, Trends and Challenges in Quantitative Verification (Mysore workshop) in 2016, Dagstuhl seminars in 2018, 2017 (3x), 2015, 2014, 2010

Reviewing

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.