Martin Strecker - Private Homepage
Research
Employed at
UPS
/
IRIT
Collaborating with the
Centre for Computational Law
in Singapore.
Scientific interests: Formal methods; semantics of programming languages; legal reasoning; graph transformations; graph databases
My
Github profile
Publications
Last modified: Mon Mar 14 15:22:26 CET 2022