‹Programming› 2022
Mon 11 - Thu 14 April 2022
Fri 25 Mar 2022 09:30 - 10:00 at OpenSpace - Programming systems and methodologies


Tomas is a Lecturer at University of Kent and a Collaborating Fellow at the Alan Turing Institute in London. He is building programming tools that integrate with modern data sources (open government data, data published by citizen initiatives) and let users easily create analyses and visualizations that are linked to the original data source, making the analyses more transparent, reproducible, but also easy to adapt. His early work on the project can be found at http://thegamma.net.

Tomas’ many other interests include open-source and functional programming (he is an active contributor to the F# ecosystem), programming language theory (his PhD thesis on “coeffects” develops a theory of context-aware programming language language), but also understanding programming through the perspective of philosophy of science.

Fri 25 Mar

Displayed time zone: Lisbon change

09:00 - 10:00
Programming systems and methodologiesMOPS at OpenSpace

We will open the day with a discussion about the problem of the evaluation of programming systems. What are programming systems and why are they harder to evaluate and study than programming languages?

The problem of programming systems research methodologies
Tomas Petricek University of Kent, Joel Jakubovic University of Kent
What are programming systems & how do you study them?
Tomas Petricek University of Kent