Profile der Wissenschaftsbotschafter/innen

• 3-4 Besuche pro Jahr
• Bevorzugte Region: Wien
• Besucht gerne folgende Schulstufen: Volksschulen, SEK I, SEK II, Sonderschulen und inklusive Schulzentren
• Keine anfallenden Kosten für die Schule
• Besuche auf Deutsch und/oder Englisch

Forschungsschwerpunkte

• Mathematik
• Logik
• Theoretische Informatik
• Formale Softwareverifizierung
• Symbolisches Rechnen
• Automatisierter Theorembeweis

Aktuelle Projekte

ARTIST - Automated Reasoning with Theories and Induction for Software Technologies: The long list of software failures over the past years calls for serious concerns in our digital society, creating bad reputation and adding huge economic burden on organizations, industries and governments. Improving software reliability is no more enough, ensuring software reliability is mandatory. The ARTIST project, funded by the European Research Council as an ERC Consolidator Grant 2020, complements other advances in the area and addresses this demand by turning first-order theorem proving into an alternative, yet powerful approach to ensuring software reliability. Thanks to the full automation of our project, our results can be integrated and used in other frameworks, to allow end-users and developers of software technologies to gain from theorem proving without the need of becoming experts of it.

Projektlink

SecInt - Secure and Intelligent Human-Centric Digital Technologies: Digitalization is transforming our society, making our everyday life more and more dependent on computing platforms and online services. The goal of the SecInt project, funded by the TU Wien as a Doctoral Programme, is to conduct interdisciplinary research to provide provably secure solutions to data-driven software development (including efforts in machine learning, robotics and formal methods).

Projektlink

ProbInG - Probabilistic Invariant Generation: The WWTF-funded ProbInG project aims at developing novel and fully automated approaches to study and formalize the distributions of probabilistic program variables, without any user guidance. Our results will reduce the need for expert knowledge in ensuring the safety and security of computer systems and will cut the design costs of applications based on probabilistic programs which are at the core of AI methods.

Projektlink

Auszug aus dem wissenschaftlichen Werdegang

I am a full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien), leading the research group in automated program reasoning- APRe. I develop methods and tools for ensuring that software systems are error-free. 

Weitere Informationen zur Person