Brno Ph.D. Talent

Tomáš Dacík

Efficient Static Analysis of Advanced Pointer Programs

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

Institution: Brno University of Technology, Faculty of Information Technology

Field: Information Technology


About the project

The aim of the project is to improve methods for static analysis of low-level programs working with dynamically allocated memory. Bugs in these programs can result in serious security vulnerabilities. The project focuses on the design of new algorithms for working with separation logic, which is one of the most successful methods for representing potentially infinite sets of memory configurations. These algorithms will then be used in tools based on highly scalable bi-abductive analysis.


Why science?

What I like about science is the possibility of solving complicated problems where it is often not clear in advance what direction to take and whether there is a solution at all.


What do I like most about Brno

Brno is a city with many opportunities to meet interesting people.