Stefan Ratschan

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

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

Tel: +420 26605 2085

ORCID: 0000-0003-1710-1513

I am offering thesis topics in several areas. Please have a look here!
Nabízím témata pro bakalářské, diplomové a doktorandské práce. Podívejte se tady!

From time to time we have open postdoc positions. If you are interested, please contact me.
Also note that the Czech Republic has special advantageous conditions for Marie Curie Individual Fellowships

SC2 2019 - 4th International Workshop on Satisfiability Checking and Symbolic Computation

NSV 2019 - 12th International Workshop on Numerical Software Verification

SNR 2019 - The Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

WCGO 2019 - 6th World Congress on Global Optimization