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

Convivial Computing Salon 2020Committee Member in Program Committee within the Salon 2020-track
ProWeb20Committee Member in Program Committee within the ProWeb 2020-track
PX/20Committee Member in Program Committee within the PX/20-track
ECOOP 2020Committee Member in External Review Committee within the Research Papers-track
LIVE 2019Committee Member in Program Committee within the LIVE 2019-track
Author of Histogram: You have to know the past to understand the present within the LIVE 2019-track
‹Programming› 2020Publicity Co-Chair in Organizing Committee
Onward! 2019
Off the Beaten Track 2019Committee Member in Program Committee within the Off the Beaten Track 2019-track
Salon des Refusés 2019Author of Critique presentation - Visual Denotative Programming within the Salon des Refusés 2019-track
Committee Member in Program Committee within the Salon des Refusés 2019-track
SPLASH 2019Committee Member in Onward! Steering Committee within the Onward! Essays-track
Author in Onward! Steering Committee within the Onward! Papers-track
Program Chair in Program Committee within the Onward! Essays-track
Session Chair of Sack keynote (part of Keynotes)
Onward! Essays Chair in Organizing Committee
ECOOP 2019Author of The search for fundamental software engineering principles within the Curry On-track
Salon des Refusés 2018Committee Member in Programme Committee within the Salon des Refusés 2018-track
Author of Welcome to Salon des Refusés within the Salon des Refusés 2018-track
Author of Critique - An Anatomy of Interaction: Co-Occurrences and Entanglements within the Salon des Refusés 2018-track
HOPL IVCommittee Member in Program Committee within the Papers-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
‹Programming› 2018Author of What we talk about when we talk about monads within the Research Papers-track
Salon des Refusés 2017Author of Review: Programming is Writing is Programming within the Salon des Refusés-track
Committee Member in Program Committee within the Salon des Refusés-track
Author of Welcome and workshop introduction within the Salon des Refusés-track
Off the Beaten Track 2017Committee Member in Program Committee within the OBT-track
‹Programming› 2017Author of Miscomputation in software: Learning to live with errors within the Research Papers-track
Author of Tools for Open, Transparent and Engaging Storytelling within the Demos-track
TyDe 2016Committee Member in Program Committee within the TyDe-track
ECOOP 2017Author of Data exploration through dot-driven development within the ECOOP Research Papers-track
PLDI 2016Author of Types from data: Making structured data first-class citizens in F# within the Research Papers-track
Future Programming Workshop 2015Author of The Gamma: Programming tools for data journalism within the Future Programming Workshop-track
Onward! 2015Author of Against a Universal Definition of Type within the Onward! Essays-track