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

Full Professor
Univ.Prof. Dr.

Christian Fermüller
Christian Fermüller

Associate Professor
Ao.Univ.Prof. DI Dr.

Rudolf Freund
Rudolf Freund

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

Alexander Leitsch
Alexander Leitsch

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

Gernot Salzer
Gernot Salzer

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

Federico Aschieri
Federico Aschieri

PostDoc Researcher
PhD

Francesca Gulisano
Francesca Gulisano

PostDoc Researcher
Dr.

Jürgen Kogler
Jürgen Kogler

Senior Lecturer
DI(FH) Dr. /MSc

Björn Lellmann
Björn Lellmann

PostDoc Researcher
Dipl.-Math. /PhD

Timothy Stephen Lyon
Timothy Stephen Lyon

PreDoc Researcher
MA

Stefan Podlipnig
Stefan Podlipnig

Senior Lecturer
DI Dr.

Don Revantha Shiyan Ramanayake
Don Revantha Shiyan Ramanayake

PostDoc Researcher
PhD

Martin Riener
Martin Riener

Senior Lecturer
Dr. DI

Markus Scherer
Markus Scherer

PreDoc Researcher
DI /BSc

Franziska Gusel
Franziska Gusel

Administration
Mag.

Tobias Sippl
Tobias Sippl

IT Services
BE

Ewa Vesely
Ewa Vesely

Administration

Markus Angermann
Markus Angermann

Lecturer
MBA

Nathaniel Boisgard
Nathaniel Boisgard

Lecturer
DI /BSc

Shelley Buchinger
Shelley Buchinger

Lecturer
MMag. Dr.

Friedrich Gelbard
Friedrich Gelbard

Lecturer
DI Dr. /BSc

Michael Hofmann
Michael Hofmann

Lecturer
Dr.

Marion Oswald
Marion Oswald

Lecturer
DI Dr.

Bruno Schneeweiß
Bruno Schneeweiß

Lecturer
Dr. Mag.

2019W

2020S

 

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 / 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 .