Blogs >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
L. Thomas van Binsbergen

Registered user since Tue 9 Dec 2014

Name: L. Thomas van Binsbergen

Bio: My name is L. Thomas van Binsbergen and I am a PhD student in Computer Science at Royal Holloway University of London, and an MSc graduate of Utrecht University.

My work revolves around specifying and prototyping programming languages. I would like to draw your attention to the contributions I made to the Utrecht University Attribute Grammar Compiler (UUAGC) in 2014, implementing algorithms for compile-time scheduling of attribute evaluation based on dependency analysis.

In recent years, I have been associated with the PLanCompS project and have developed Haskell tools for defining and executing FunCons: highly reusable and modular components used in the formal specification of programming languages’ semantics. For more information visit

General interest in Computer Science: Teaching, Programming Languages, Algorithm Design, Soundness & Correctness Proofs, Graph Theory and Complexity Analysis, Genetic Programming and Program Synthesis

Particular aspects of my specialism “Software Languages and their Specification”:

  • Language design and formal semantics
  • Generating interpreters based on the formal semantics of a language
  • Computational effects: Modelling abnormal control flow like exceptions, and side-effects like Input/Output and variable assignment in pure maths
  • Static analysis of programs: type-checkers, sanity-checkers, program manipulation
  • Reusable components for both syntax and semantics of languages.

My interests in Computer Science Education:

  • Improving the understandability of algorithms by explaining the algorithm at the right level of abstraction, removing unnecessary detail, breaking down algorithms into their core components and defining those components as pure and composable functions
  • Tutoring systems for the analysis of student solutions and automated feedback

Country: Netherlands

Affiliation: Royal Holloway University of London

Personal website:

Research interests: Theoretical Computer Science, Programming Languages, Formal Semantics, Functional Programming, Automated Tutoring Systems

SPLASH 2016 Activities

SPLASH 2016-profile
View general profile