L. Thomas van Binsbergen
Associate Professor
Thomas van Binsbergen is an Associate Professor in software engineering with a specialisation in the operational semantics of programming languages. Topics of interest include modular language specifications and implementations. Applications areas are automated legal reasoning in multi-domain systems and domain-specific languages for domains such as regulatory and legal, programmable networks, and software language engineering. I am tenured at the University of Amsterdam and situated in the Complex-Cyber Infrastructure research group of the Informatics Institute where I lead the Programming Languages and Verification team.
Milen Girma Kebede
PhD Candidate
Tom van Engers
Full Professor (FDR)
I conduct research on AI & Law, with a particular focus on normative reasoning. Having a track record in AI & Law research going back to 1983, I have worked both on knowledge-driven as well as data-driven AI approaches.