Photo Stefan Ratschan

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

email
Tel: +420 26605 3201

I am offering thesis topics in several areas. Please have a look here!

Spring School "Automatic Verification and Analysis of Complex Systems"
Journal: Mathematics in Computer Science (MCS)

All serious innovation is only rendered possible by some accident enabling unpopular persons to survive (B. Russell)

Last Modification: December 21, 2009