L. Thomas van Binsbergen

Registered user since Tue 9 Dec 2014

Name: L. Thomas van Binsbergen

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

His work revolves around specifying and prototyping programming languages with an emphasis on modularity of specifications and implementations. He contributed to the Utrecht University Attribute Grammar Compiler (UUAGC) in 2014, implementing algorithms for compile-time scheduling of attribute evaluation based on dependency analysis. As an affiliate to the PLanCompS project he has developed Haskell tools for defining and executing FunCons: highly reusable and modular components used in the formal specification of programming language semantics. For more information visit http://plancomps.org

Particular interested related to “Software Languages and their Specification”:

  • Language design and formal semantics
  • Generating interpreters based on the formal specifications
  • Computational effects in pure maths
  • Static analysis of programs: type-checkers, sanity-checkers, program manipulation
  • Reusable components for language specification

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: http://ltvanbinsbergen.nl

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

Contributions

SLE 2018Author of GLL Parsing with Flexible Combinators within the SLE 2018-track
GPCE 2018Author of Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper) within the GPCE 2018-track
PEPM 2018Author of Checking Cryptographic API Usage with Composable Annotations (Short Paper) within the PEPM 2018-track
Parsing@SLE 2016Author of Generalised Parsing and Combinator Parsing: a Happy Marriage? within the Parsing@SLE-track
Modularity 2016 Author of Tool Support for Component-Based Semantics (second presentation) within the Demos & Posters-track
Author of Tool Support for Component-Based Semantics within the Demos & Posters-track
PEPM 2015Author of Linearly Ordered Attribute Grammars within the PEPM 2015-track