Tomas Petricek

Registered user since Wed 2 Sep 2015

Name:Tomas Petricek
Bio:

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.

Country:United Kingdom
Affiliation:University of Kent
Personal website:http://tomasp.net
Research interests:Programming Languages, Data Science Tools, Philosophy of Science

Contributions

PADL 2022 Committee Member in Programme Committee within the PADL 2022-track
POPL 2022 Linked visualisations via Galois dependencies
Show activities from other conferences

Using general profile