Roman Andriushchenko

Automated Construction of Probabilistic Programs

Školitel: Tomáš Vojnar

Instituce: Brno University of Technology, Faculty of Information Technology

Obor: Computer Science and Engineering

 

O projektu

The aim of this project is to conduct research in the area of computer-aided quantitative synthesis, particularly in the field of automatic construction of probabilistic programs. This application presents a proposal for the main contributions directed towards the development of an efficient and scalable framework for probabilistic synthesis. The success of this project will fundamentally improve the state of the art in this field and enable automated synthesis of complex and robust systems.

 

Proč dělám vědu?

Chtěl bych pracovat jako výzkumník buď v akademickém nebo průmyslovém prostředí a nasadit techniky pro modelování a analýzu k vývoji komplexních a spolehlivých systémů.

 

Proč mám rád/a Brno

Brno je velice kompaktní mesto se snadno přístupnou přírodou a také s obrovským množstvím kulturních a sportovních příležitostí.