Stefan Ratschan
Institute of Computer Science
Academy of Sciences of the Czech Republic
Pod Vodarenskou vezi 2
182 00 Prague 8
Czech Republic

and:
Faculty of Information Technology
Czech Technical University in Prague
office A 1029

Tel: +420 26605 2085

ORCID: 0000-0003-1710-1513
Google Scholar

• (P)reprints
• Software
• Personal Information, Press etc.
• Curriculum Vitae
• Consultation Hours ČVUT

I am offering thesis topics on all (i.e., bachelor, master, Ph.D.) levels in several areas. Please have a look here!

Also, from time to time we have open postdoc positions. If you are interested, please contact me.

Satisfiability Checking and Symbolic Computation, SC² Workshop 2024

Runtime Verification, RV 2024