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

I am a professor for Formal Methods for Software Reliability at the Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany.

Contact

firstname.lastname@tum.de
Room: MI 03.11.044
Faculty of Informatics, Technical University of Munich
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
We're hiring: For open positions, see this call.

Areas

Publications

See DBLP or Google Scholar.

Tools

Projects (running)

Projects (previous)

Community service

Events organization

PC Member

SC Member

Invited Talks

Invited talks at conferences, workshops, summer schools Invitation-based seminars and workshops

Reviewing

Teaching

Lectures

Tutorials (past)

Technical University Munich Masaryk University

Supervision

Education and previous positions

Personal

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