Bernhard Kragl

Bernhard Kragl

I am a computer science PhD student at the Institute of Science and Technology Austria (IST Austria). My advisor is Thomas A. Henzinger. I hold a bachelor and master degree in computer science, both from the Technical University of Vienna.


Mail: IST Austria, Am Campus 1, 3400 Klosterneuburg, Austria

Research Interests

I am fascinated by the concept of computation, ranging from theoretical foundations of computation to the design and implementation of software systems. In particular I am interested in formal methods for the specification, development and analysis of computer systems. This includes the design of suitable models, specification languages and analysis methods.