tomas balyo

I am a Post-Doc researcher at Institute of Theoretical Informatics, Algorithmics II of the Karlsruhe Institute of Technology in Karlsruhe, Germany.

I did my Ph.D. at the Department of Theoretical Computer Science and Mathematical Logic of the Faculty of Mathematics and Physics at the Charles University in Prague under the supervision of Roman Bartak The topic of my doctoral dissertation is Modelling and Solving Problems Using SAT Techniques.

For further information see my CV

Contact information

Address: see my KIT homepage
Email: biotomas gmail com

Design downloaded from free website templates.