The Centre for Computational Law has merged with the Centre for AI and Data Governance to form the Centre for Digital Law. The new Centre examines the transformative impact of digital technologies on legal systems, government, society, and economy. Our research, including the Research Programme on Computational Law, continue under its ambit. Our current website will remain operational in this transitional period but we strongly encourage you to visit our new website at cdl.smu.edu.sg and explore the updated features and content. If you have any questions or need assistance, please contact our support team at cclawadmin@smu.edu.sg.
Martin Strecker
Biography
Martin Strecker obtained a diploma in computer science from the Technical University of Darmstadt and the INP Grenoble. He then worked as teaching and research associate at the University of Ulm, where he earned a PhD degree on the topic of program and proof development in Type Theory. He then 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 (in particular automotive) market. He then participated in the Verificard project at the TU München, which resulted in the definition of a semantics for Java and the Java runtime system and, in particular, the verification of a Java source to Java bytecode compiler. Since joining the faculty of Toulouse University in 2004, he has been involved in several projects concerned with formalizations of domains specific languages in the embedded and aeronautics sector; the verification of concurrent Java programs; and provably correct model and graph transformations, with applications in graph databases. He is now collaborating with the Centre of Computational Law at Singapore Management University on issues on coherence of regulations and compliance. For more details and publications, please see https://orcid.org/0000-0001-9953-9871 or https://martin-strecker.org/