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

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!

Conferences:

• FMCAD: Formal Methods in Computer-Aided Design
• SC2 Workshop on Satisfiability Checking and Symbolic Computation