Registered user since Tue 9 Dec 2014
Dr. Thomas van Binsbergen is Associate Professor focused on the general area of Software Engineering and specialised in Software Language Engineering and Formal Specifications. Topics of interest include automating legal reasoning in multi-domain systems through and developing domain-specific languages for various domains such as legal, programmable networks, and software language engineering. I am tenured at the University of Amsterdam in the Complex-Cyber Infrastructure research group of the Informatics Institute.
Thomas van Binsbergen completed his PhD at Royal Holloway, University of London, specialising in executable specification of the syntax and semantics of programming languages. This research has resulted in tools for formalising and experimenting with language design as part of the design process.
As an Assistant Professor at the University of Amsterdam and Postdoc at Centrum Wiskunde & Informatica he investigated the foundations of novel programming environments and interpreters that support Exploratory Programming. His research into formalising laws and legal contracts resulted in eFLINT, a domain-specific language that can support automating compliance for a wide variety of use cases, with data sharing in multi-domain systems as a primary target.
Courses: Programming Languages, Compiler Construction, Software Evolution
Contributions