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”:

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