Przemyslaw Daca

Przemysław Daca

PhD student

Contact

IST Austria
Am Campus 1
3400 Klosterneuburg, Austria
przemek@ist.ac.at

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.

Publications

Conference papers:

Journal papers:

Software

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