Martin Strecker - Private Homepage

Research

Currently working as research scientist at the Centre for Computational Law in Singapore.

In parallel to my teaching job at the University of Toulouse (see the institutional web page) I used to do some of my research at the IRIT which still has the nicety of listing me as an "associated researcher". After the wreckage brought about by arcane public funding practices (a facet of which is documented here, in French), I am open to external collaborations in the area of formal methods and programming language technology.

Publications


Last modified: Sun Oct 17 11:54:37 +08 2021