Current research projects:
- Non classical proofs: Theory, Applications and Tools,
FWF START prize, 2011-2017.
- EC-IRSES, Marie Curie Action: International Research Staff Exchange Scheme (IRSES), FP7-PEOPLE-2012-IRSES,
GetFUN Generalizing Truth-Functionality (16 Partners, 8 Countries), 2013-2016.
- FWF Doctoral College
Logical Methods in Computer Science , 15 PhD positions.
Convenors: M. Baaz, A. Biere, R. Bloem, A. Ciabattoni, U. Egly, T. Eiter, C.G. Fermueller, R. Grosu,
A. Leitsch, M. Ortiz, R. Pichler, S. Szeider, H. Tompits, H. Veith, G. Weissenbacher, 2014-2017.
- FFG Project: A novel decision support system for training and diagnosis in dermatology. With the
Medical University of Vienna (Dr. Riedl) and
Emergentec biodevelopment, 2013-2015.
- Doctoral Programme Mathematical Logic in CS, 10 PhD positions.
Convenors: M. Baaz, A. Ciabattoni, T. Eiter, M. Goldstern, A. Leitsch, R. Pichler, K. Svozil, S. Szeider, H. Veith, S. Woltran, 2010-2014.
Media Appearance (a selection):