Dominik Harmim

Precise and Scalable Analysis of Atomicity in Concurrent Programs and Beyond

Školitel: Prof. Ing. Tomáš Vojnar, Ph.D.

Instituce: Brno University of Technology, Faculty of Information Technology

Obor: Information Technology

 

O projektu

Cílem tohoto projektu je výzkum v oblasti automatické analýzy programů, zaměřený především na analýzu atomičnosti v paralelních programech. Projekt je zaměřen na návrh a implementaci přesnějších a škálovatelnějších analýz v porovnání se stávajícími přístupy.

 

Proč dělám vědu?

Vědu dělám, protože chci posunout hranice poznání v oblasti, která mě baví a zajímá a která je důležitá pro společnost. Líbí se mi, že výsledky mého výzkumu mohou zkvalitnit život společnosti a zvýšit bezpečnost.

 

Proč mám rád/a Brno

Brno je moje rodné město. Jedna z věcí, která se mi na Brně líbí nejvíce je velká koncentrace zajímavých podniků, firem a zajímavých a chytrých lidí.