• PhD Student, MSc
• TU Wien / Austrian Institute of Technology
• Institut für Informationssysteme 184/4
• Favoritenstraße 9–11
• 1040 Wien
• Austria

---

• Room: HD 03 02
• Phone: +43 (1) 58801 – 740077
• Email: afellner [at] forsyte.at
• Web: forsyte.at/~fellner/, TISS

---

Research Interests

• Automated Test Case Generation, Model Based Testing, Program Verification / Synthesis, Proof Compression

---

Current Position

• I am a PhD student at Austrian Insititute of Technology (AIT) cojoined with TU Wien. My supervisor is by Prof. Georg Weissenbacher. I started my PhD studies in February 2016.

---

Education

• MSc in Computational Logic (TU Wien, TU Dresden, Free University of Bolzano)
  • Master Thesis: Space & Congruence Compression of Proofs
• BSc in Mathematics (TU Wien)

---

Publications

1. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 158-177, 2015. [bibtex] [pdf] [doi]
2. Skeptik: A Proof Compression System Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo 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. [bibtex] [pdf] [doi]

---

Awards

• EMCL student grant for master studies in Computational Logic, 2013