TU Wien Informatics

About

We at the Theory and Logic group are interested in various aspects of logic, its applications, and formal languages.

Our research focuses on topics in Theoretical Computer Science and Logic, the formal foundations of computer science. Our expertise includes non-classical logics, proof theory, automated deduction, game semantics, Curry-Howard correspondence, and higher-order logic. We apply our methods in areas ranging from medical expert systems and Artificial Intelligence to Indian philosophy and blockchains. In the area of formal languages, we investigate nature inspired computing models, especially membrane computing.

We offer courses at the undergraduate and masters level on logic and theoretical computer science as well as introductory programming courses for undergraduates and pre-undergraduates.

The research Unit Theory and Logic is part of the 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 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

Tiziano Dalmonte
Tiziano Dalmonte T. Dalmonte

PostDoc Researcher
Dr.

Robert Freiman
Robert Freiman R. Freiman

PreDoc Researcher
DI / BSc

Johannes Hafner
Johannes Hafner J. Hafner

PostDoc Researcher
Mag. / PhD

Jürgen Kogler
Jürgen Kogler J. Kogler

Senior Lecturer
DI(FH) Dr. / MSc

Stefan Podlipnig
Stefan Podlipnig S. Podlipnig

Senior Lecturer
DI Dr.

Martin Riener
Martin Riener M. Riener

Senior Lecturer
DI Dr.

Markus Scherer
Markus Scherer M. Scherer

PreDoc Researcher
DI / BSc

Franziska Gusel
Franziska Gusel F. Gusel

Office Services
Mag.

Ewa Vesely
Ewa Vesely E. Vesely

Office Services

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

 

2019

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
    2016 / HR Inside Summit Award 2016, BRONZE / Austria / Website
  • Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige
    2016 / Austria / Website
  • Federico Aschieri: Curry-Howard, Game Semantics and Herbrand's Theorem
    2015 / Meitner-Programm / Austria / Project
  • Agata Ciabattoni: Nichtklassische Beweise: Theorie, Automatisierung, Anwendung
    2011 / START-Programm / Austria

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 .