» Ph.D. Student
I am a Ph.D. student at Austrian Insititute of Technology (AIT) supervised at TU Wien by Prof. Georg Weissenbacher, working on model based testing.
In 2014 I graduated from TU Wien, TU Dresden and Free University of Bolzano with a M.Sc. degree in Computational Logic.
After which, I spent a year at the graduate school of IST Austria, working with among others Krishnendu Chatterjee and Thomas Henzinger on Program Verification and Error Explanation.
- Automated Test Case Generation
- Model Based Testing
- Program Verification / Synthesis
- Proof Compression
||| Counterexample Explanation by Learning Small Strategies in Markov Decision Processes|
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 158-177, 2015.
||| Skeptik: A Proof Compression System|
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pages 374-380, 2014.
Technische Universität Wien
Institut für Informationssysteme 184/4
|Room:||HA 03 02 (how to get there)|