Dominik Harmim

Precise and Scalable Analysis of Atomicity in Concurrent Programs and Beyond

Lector: Prof. Ing. Tomáš Vojnar, Ph.D.

Institution: Brno University of Technology, Faculty of Information Technology

Field: Information Technology

 

About the project

This project aims to research the area of automatic program analysis, mainly in the field of analysis of atomicity in concurrent programs. The project is ?directed towards providing more precise and scalable analyses compared to the currently existing approaches.

 

Why science?

I do science because I want to push state of the art in an area that I enjoy and care about and is important to society. I like that the results of my research may improve the life quality of society and increase security.

 

What do I like most about Brno

Brno is my hometown. One of the things I like most about Brno is the large concentration of exciting companies and intelligent people.