Andreas Fellner

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

Research Interests

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

Current Position


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


  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]


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