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
RNDr. Tomas Balyo Ph.D.
Email: biotomas gmail com
Phone: +420 608 856 889
Office number: 207 (2nd floor)