Martin STRECKER

Education

Martin Strecker obtained a diploma in Computer Science from the Technical University of Darmstadt and the INP Grenoble. He then worked as a teaching and research associate at the University of Ulm, where he earned a PhD on the topic of program and proof development in Type Theory.

Professional Appointments

After completing his PhD, Martin Strecker joined ETAS GmbH, a subsidiary of the Bosch Group, where he was responsible for the quality assurance of the ASCET-SD code generator, used in the embedded systems market, particularly in automotive applications. He then participated in the Verificard project at TU München, which resulted in the definition of a semantics for Java and the Java runtime system, with a particular focus on verifying a Java source-to-bytecode compiler.

Martin Strecker is an Associate Professor of Computer Science at Université Toulouse III - Paul Sabatier / IRIT. He was a Visiting Professor at the SMU Yong Pung How School of Law from July to August 2022.

Research Areas

Since joining the faculty of Université de Toulouse in 2004, he has been involved in several projects focused on the formalization of domain-specific languages in the embedded and aeronautics sectors, the verification of concurrent Java programs, and provably correct model and graph transformations, with applications in graph databases. He has also contributed to the L4 codebase in the areas of parsing, interpreting, and type-checking of the Core L4 language component, as well as transpilation toward verification engines and the Epilog language.

He is currently collaborating with the Centre for Digital Law (formerly the Centre for Computational Law) at Singapore Management University on issues related to regulatory coherence and compliance. His recent publications include:

• User-Guided Abductive Proof Generation for Answer Set Programming Queries, published in the proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming.
• Automating Defeasible Reasoning in Law with Answer Set Programming, published in the proceedings of the 2nd Workshop on Goal-Directed Execution of Answer Set Programs.
• Compliance through Model Checking, published in the proceedings of the International Workshop on AI Compliance Mechanism (WAICOM).

For more details and publications, please visit: https://orcid.org/0000-0001-9953-9871