firstname.lastname@in.tum.de
Room: MI 03.11.044
Boltzmannstr. 3,
85748 Garching,
Germany
Tel.: +49 89 289 17209
ORCID iD: 0000-0002-8122-2881
I may look like any of the guys on the right. So don't be surprised when contacting me in person:-)
See DBLP, or my CV or Google Scholar. Some full versions are accessible as technical reports not listed by DBLP. The bibtex entries can be found here.
Tools
SeQuaiA performs semi-quantitative analysis of chemical reaction networks
dtControl represents CPS controllers as decision trees, improving memory footprint and explainability while preserving guarantees
Rabinizer 4 translates LTL formulae to various (semi-)deterministic automata (previous versions 3.1 and 2) with Owl as a reusable library for developing such translations with additional infrastructure
MoChiBA is a PRISM-based probabilistic LTL model checker based on semi-deterministic (limit-deterministic) Büchi automata
PET (Partial Exploration Tool, aka PRISM TUM in QComp, under development) is a probabilistic model checker for stochastic games, MDP and related models with (unbounded) reachability and mean payoff objectives, featuring also a module for statistical model checking
MoTraS
for modal transition systems and their extensions
Automata Tutor v3 is a teaching tool for courses on automata theory and introduction to computation
Projects
Group-By Objectives in Probabilistic Verification (GOPro) is DFG project about to start.
Verified Model Checkers (VMC) is a DFG project 317422601.
Platform-Aware Synthesis of Embedded Control Software (PARSEC) is a TUM IGSSE project 10.06.
In collaboration, my PhD student Julia Eisentraut has obtained the following projects:
Proven Security for systems with human interaction (ProSec) is a project funded by the German Federal Ministry of Education and Research (Bundesministerium für Bildung und Forschung) and supported by Software Campus performed in collaboration of TUM and DATEV eG
Formal Methods for Analysis of Attack-Defence Diagrams is a PhD project of Studienstiftung des deutschen Volkes
2017: ACSD, FORMATS, LiVe (co-chair), QAPL, QEST, SOFSEM, TACAS, TIME, TTCS
2016: ECAI, MEMICS
2015: QAPL
Invited Talks
Invited talks at conferences, workshops, summer schools
Marktoberdorf Summer School in 2021
11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) 2020
IRIF Modelling and Verification (seminar at Paris Diderot University) 2020
16th International Conference on Quantitative Evaluation of SysTems (QEST) 2019
Workshop on Security practices for Internet of Things (SPIoT) 2019
6th International Workshop on Synthesis of Complex Parameters (SynCoP) 2019
Highlights of Logic, Games and Automata (Highlights) 2018
2nd School on Foundations of Programming and Software Systems: Logic and Learning (FLOC + EATCS + SIGLOG summer school) 2018
Learning in Verification and Verification of Learning (seminar organized by the universities of Brussels and Mons) in 2018
Logic and Learning (workshop at Alan Turing Institute of data science) in 2018
Invitation-based seminars and workshops
Bellairs workshop on Learning and Verification in 2019
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (Isola) 2018
Quantitative Systems: Theory and Applications (QuaSy) 2017
KiMfest 2017
7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (Isola) 2016
Trends and Challenges in Quantitative Verification (Mysore workshop) 2016
Dagstuhl seminars:
Verification and Synthesis of Human-Robot Interaction 2019
Machine Learning and Model Checking Join Forces 2018 (co-organizer)
Formal Synthesis of Cyber-Physical Systems 2017
Game Theory in AI, Logic, and Algorithms 2017
Computer-Assisted Engineering for Robotics and Autonomous Systems 2017
Non-Zero-Sum-Games and Control 2015
Quantitative Models: Expressiveness, Analysis, and New Applications 2014
Quantitative Models: Expressiveness and Analysis 2010
Reviewing
Reviewer for journals (selection): Acta Informatica, Information Processing Letters, Journal of Automated Reasoning, Journal of Computer and System Sciences, Performance Evaluation, Software and Systems Modeling, Theoretical Computer Science, Transactions on Modeling and Computer Simulation, Transactions on Programming Languages and Systems, Transactions on Software Engineering
Grant proposals: Charles University Grant Agency, European Research Council (ERC Advanced Grants), French National Research Agency (ANR), German Research Foundation (DFG)
Since October 2015 I am a tenure-track assistant professor at the Chair for Foundations of Software Reliability and Theoretical Computer Science,
Technical University of Munich, Germany.
