Thomas van Binsbergen

Full Name
Dr. L.T. van Binsbergen
Function(s)
Researcher
Email
Thomas.van.Binsbergen@cwi.nl
Telephone
+31 20 592 4007
Room
L225
Department(s)
Software Analysis and Transformation
Homepage
http://ltvanbinsbergen.nl/publications

Biography

Thomas van Binsbergen is formalising logics and languages for describing digitally enforceable contracts specifically and normative scenarios generally in a joint project with Giovanni Sileno and Tom van Engers of the UvA. He has developed modular techniques for describing the semantics of programming languages as part of the PLanCompS project with Peter Mosses and parser combinators for generalised top-down parsing with Adrian Johnstone and Elizabeth Scott. The results are described in his PhD thesis titled "Executable Formal Specification of Programming Languages with Reusable Components" (http://ltvanbinsbergen.nl/thesis/thesis.pdf). Keywords: modular language definition, generalised top-down parsing, declarative programming, purely functional programming, I-MSOS, FunCons, attribute grammars, computer science education

Current projects with external funding

  • Secure scalable policy-enforced distributed data processing ()