Registered user since Tue 9 Dec 2014
Dr. Thomas van Binsbergen is Associate Professor in computer science 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. Van Binsbergen is tenured at the University of Amsterdam and situated 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
View general profile