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
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
I am offering thesis topics on all (i.e., bachelor, master, Ph.D.) levels in several areas. Please have a look here!
We currently have an open tenure track position in computer science, without any further restriction in terms of research area. Especially, researchers in automated reasoning, formal verification etc. are welcome to apply!