Research

LogiCS@TUWien is a novel interdisciplinary EC H2020 Marie Skłodowska-Curie COFUND doctoral training programme for international high-potential early-stage researchers (ESRs) with a focus on Logical methods in Computer Science at TU Wien.
More ›

The goal of SecInt is to develop the scientific foundations of secure and intelligent human-centric digital technologies. This requires interdisciplinary research, establishing synergies different research fields (Security and Privacy, Machine Learning, and Formal Methods).
More ›

Our project aims at developing novel and fully automated approaches to generate invariants over higher-order moments and the value distribution of program variables, without any user guidance.
More ›

The research field of Resilient Embedded Systems investigates novel methods to design, verify and implement safe, secure and dependable computing architectures subject to real-time constraints.
More ›

IoT4CPS developed guidelines, methods and tools to enable safe and secure IoT-based applications for automated driving and for smart production.
More ›

The LogiCS doctoral program is a PhD degree program funded by the Austrian Science Fund FWF and run jointly by the three Austrian universities Vienna University of Technology, Graz University of Technology and Johannes Kepler University Linz.
More ›

In this project, we aim to investigate how the largely separate research streams of Bayesian econometrics, statistical model checking, and machine learning can be combined and integrated to create innovative and powerful tools for the analysis of big data in the social sciences.
More ›

RiSE/SHiNE pursues the long term vision of a hardware/software system design process supported by automatic formal methods based on model checking, decision procedures, and game theory.
More ›

HARMONIA provides a framework for assertion-based monitoring of automotive systems-of-systems with mixed criticality.
More ›