Viktor Toman

Viktor Toman

PhD Student

IST Austria

Biography

I am a PhD student in Formal Methods (Computer Science) at IST Austria. My PhD advisor is Krishnendu Chatterjee. My PhD topic is verification of concurrent programs.

In summers 2018 and 2019 I interned at Google Research Mountain View, working on machine learning in higher-order theorem proving.

In summer 2020 I interned at Google Research Zürich, in the area of on-device machine learning.

Interests

  • Verification
  • Model Checking
  • Theorem Proving
  • Machine Learning

Education

  • PhD in Formal Methods, 2016-present

    IST Austria

  • Mgr in Computer Science, 2016

    Masaryk University Brno

  • Bc in Computer Science, 2014

    Masaryk University Brno

Experience

 
 
 
 
 

Research Intern

Google Research

Aug 2020 – Nov 2020 Zürich, Switzerland
On­-Device Machine Learning
 
 
 
 
 

Research Intern

Google Research

Jul 2019 – Oct 2019 Mountain View, California
Machine Learning in Higher-­Order Theorem Proving
 
 
 
 
 

Research Intern

Google Research

Jul 2018 – Oct 2018 Mountain View, California
Machine Learning in Higher-­Order Theorem Proving

Publications

Value-centric Dynamic Partial Order Reduction

Strategy Representation by Decision Trees with Linear Classifiers

Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives

Strategy Representation by Decision Trees in Reactive Synthesis

Contact