Registered user since Tue 9 Dec 2014
Dr. Thomas van Binsbergen is an Associate Professor in the general area of Software Engineering and specialised in Software Languages and Formal Specifications. Recent topics of interest include automating compliance in multi-domain systems through formal specifications and developing domain-specific languages for various domains such as legal, programmable networks, and software language engineering.
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