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

PreDoc Researcher
Mag.

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

Xavier Parent
Xavier Parent X. Parent

PreDoc Researcher
Docteur

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

Franziskus Wiesnet
Franziskus Wiesnet F. Wiesnet

PreDoc Researcher
MSc

Franziska Gusel
Franziska Gusel F. Gusel

Office Services
Mag.

Ewa Vesely
Ewa Vesely E. Vesely

Office Services

2020W

2021S

 

2021

  • Empirical Evaluation of MakerDAO's Resilience / M. Kjäer, M. Di Angelo, G. Salzer / Talk: 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris; 2021-09-27 - 2021-09-30; in: "Proc. Conference on Blockchain Research & Applications for Innovative Networks and Services", (2021), ISBN: 978-1-6654-3924-4; Paper ID 1570716378, 8 pages
  • A Normative Supervisor for Reinforcement Learning Agents / E. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori / Talk: 28th International Conference on Automated Deduction (CADE 28), Virtual Event; 2021-07-12 - 2021-07-15; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)", 12699 (2021), 565 - 576
  • Towards the Identification of Security Tokens on Ethereum / M. Di Angelo, G. Salzer / Talk: 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2021), Paris; 2021-04-19 - 2021-04-21; in: "3rd International Workshop on Blockchains and Smart Contracts (BSC 2020-2021)", (2021), ISBN: 978-1-6654-4399-9; 5 pages
  • Connecting Sequent Calculi with Lorenzen-Style Dialogue Games / C. Fermüller / accepted for publication in: "Paul Lorenzen - Mathematician and Logician", Springer, 2021, 13 - 39
  • Explainable Rule Extraction via Semantic Graphs / G. Recski, B. Lellmann, A. Kovacs, A. Hanbury / in: "Proceedings of the Fifth Workshop on Automated Semantic Analysis of Information in Legal Text (ASAIL 2021)", issued by: CEUR Workshop Proceedings; CEUR-WS.org, 2021, 24 - 35

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

 

2020

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 .