TU Wien Informatics

About

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

Theory and Logic is part of the faculty’s Institute of Logic and Computation.

Agata Ciabattoni
Agata Ciabattoni A. Ciabattoni

Full Professor
Univ.Prof. Dr.

Christian Fermüller
Christian Fermüller C. Fermüller

Associate Professor
Ao.Univ.Prof. DI Dr.

Rudolf Freund
Rudolf Freund R. Freund

Associate Professor
Ao.Univ.Prof. DI Mag. Dr.

Alexander Leitsch
Alexander Leitsch A. Leitsch

Retired Full Professor
Univ.Prof.i.R. Dr.

Gernot Salzer
Gernot Salzer G. Salzer

Head of Research Unit
Ao.Univ.Prof. DI Dr.

Federico Aschieri
Federico Aschieri F. Aschieri

PostDoc Researcher
PhD

Francesca Gulisano
Francesca Gulisano F. Gulisano

PostDoc Researcher
Dr.

Jürgen Kogler
Jürgen Kogler J. Kogler

Senior Lecturer
DI(FH) Dr. /MSc

Björn Lellmann
Björn Lellmann B. Lellmann

PostDoc Researcher
Dipl.-Math. /PhD

Timothy Stephen Lyon
Timothy Stephen Lyon T. Lyon

PreDoc Researcher
MA

Stefan Podlipnig
Stefan Podlipnig S. Podlipnig

Senior Lecturer
DI Dr.

Martin Riener
Martin Riener M. Riener

Senior Lecturer
Dr. DI

Markus Scherer
Markus Scherer M. Scherer

PreDoc Researcher
DI /BSc

Franziska Gusel
Franziska Gusel F. Gusel

Administration
Mag.

Doris Hotz
Doris Hotz D. Hotz

Project Administration

Ewa Vesely
Ewa Vesely E. Vesely

Administration

2019W

2020S

 

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

 

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

2002

2001

 

  • Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen / HR Inside Summit Award 2016, BRONZE / Austria / Website / 2016
  • Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige / Austria / Website / 2016
  • Federico Aschieri: Curry-Howard, Game Semantics and Herbrand's Theorem / Meitner-Programm / Austria / Project / 2015
  • Agata Ciabattoni: Nichtklassische Beweise: Theorie, Automatisierung, Anwendung / START-Programm / Austria / 2011

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Theory and Logic’s research profile in TISS .