Nos partenaires



Accueil du site > Français > Evénements > Séminaires > Séminaires IRIT-UPS

Séminaires IRIT-UPS



Finite-state machine synthesis in ITMO University

Vladimir ULYANTSEV - ITMO University, Saint Petersburg (Russie)

Mercredi 24 Mai 2017, 10h30 - 12h00
UT3 Paul Sabatier, IRIT, Salle 001
Version PDF :


In the talk we will outline the results of the last 5 years of research conducted by our group at ITMO University on the topics of automata-based program design, finite-state machine synthesis and verification. Used methods include evolutionary algorithms, model checking and constraint programming - usage of satisfiability and constraint satisfaction problem solvers. Also, another ITMO research in computer science (bioinformatics, machine learning, evolutionary computation) will be briefly presented.

Short bio: Vladimir Ulyantsev received his PhD from ITMO University in 2015. His main research interests include automata and graphs synthesis, constraint programming and bioinformatics. Vladimir is currently a postdoc researcher at ITMO University.