Bernhard Kragl

Bernhard Kragl

I am an applied scientist at Amazon Web Services (AWS). Before joining Amazon, I obtained a PhD in computer science from the Institute of Science and Technology Austria (IST Austria). My advisor was Thomas A. Henzinger. I hold a bachelor and master degree in computer science, both from the Technical University of Vienna.


Email: <last_name> b @ <employer> .com

Research Interests

Formal Verification, Programming Languages, Distributed Systems, Logic, Automated Reasoning


PhD Thesis