I am a PhD student in Computer Science at the Institute of Science and Technology (IST) Austria. My advisor is Krishnendu Chatterjee. My research interests include:
    —  Symbolic representation of strategies
    —  Symbolic model-checking algorithms
    —  Verification of concurrent programs
    —  Machine learning in formal methods

Curriculum Vitae


Short version:

  • Summer 2018: Research Intern @ Google Research, CA USA
    Machine Learning in Theorem Proving

  • 2016–now: PhD @ IST Austria
    Computer Science — Formal Methods

  • 2014–2016: Mgr @ Masaryk University Brno, Czech Republic
    Computer Science — Parallel and Distributed Systems

  • 2011–2014: Bc @ Masaryk University Brno, Czech Republic
    Computer Science — Mathematical Informatics

Publications

  • Value-centric Dynamic Partial Order Reduction
    Krishnendu Chatterjee, Andreas Pavlogiannis, VT
    Submitted  

  • Symbolic Algorithms for Graphs and MDPs with Fairness Objectives
    Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, VT
    CAV 2018   [pdf] [arXiv] [doi]

  • Strategy Representation by Decision Trees in Reactive Synthesis
    Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, VT
    TACAS 2018   [pdf] [arXiv] [doi]

Contact

Viktor Toman, Institute of Science and Technology
Am Campus 1, 3400 Klosterneuburg, Austria
Central Building 2nd floor, I01.O2.073

firstname.lastname@ist.ac.at