Przemyslaw Daca

Przemysław Daca

PhD student


IST Austria
Am Campus 1
3400 Klosterneuburg, Austria

Research Interest

I'm a PhD student at IST Austria, supervised by Tom Henzinger. I do research in formal methods, which is a branch of computer science that develops methods for analyzing correctness of software systems. My main research interests are: See my LinkedIn and GitHub profile.


Conference papers:

Journal papers:


Feel free to contact me if you need help with any of these tools.