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

RNDr. Tomas Balyo Ph.D.
KIT homepage
Email: biotomas gmail com
Phone: +420 608 856 889
Office number: 207 (2nd floor)

Design downloaded from free website templates.