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

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
PADL 2022 Committee Member in Programme Committee within the PADL 2022-track
HATRA 2021 Author of Typed Image-based Programming with Structure Editing within the HATRA 2021-track
‹Programming› 2022 Committee Member in Research Papers within the Research Papers-track
POPL 2022 Author of Linked visualisations via Galois dependencies within the POPL-track
Salon Littéraire 2021 Committee Member in Organizing Committee within the Salon Littéraire 2021-track
Facilitator of The Death and Life of American Cities (Jacobs, 1961) within the Salon Littéraire 2021-track
Session Chair of The Death and Life of American Cities (Jacobs, 1961) (part of Salon Littéraire 2021)
SPLASH 2021 University of Kent in Onward! Steering Committee within the Onward! Essays-track
Committee Member in Program Committee within the Onward! Essays-track
University of Kent in Onward! Steering Committee within the Onward! Papers-track
Author of Programming as Architecture, Design, and Urban Planning within the Onward! Essays-track
LIVE 2020 PC Member in Programme Committee within the LIVE 2020-track
‹Programming› 2021 Committee Member in Program Committee within the Research Papers-track
Author of Foundations of a live data exploration environment within the Research Papers-track
Author of Programming "systems" deserve a theory too! within the Conversation Starters-track
Convivial Computing Salon 2020 Committee Member in Program Committee within the Salon 2020-track
ProWeb20 Committee Member in Program Committee within the ProWeb 2020-track
PX/20 Committee Member in Program Committee within the PX/20-track
ECOOP 2020 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2020 Committee Member in Onward! Steering Committee within the Onward! Essays-track
Committee Member in Onward! Steering Committee within the Onward! Papers-track
LIVE 2019 Committee 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› 2020 Publicity Co-Chair in Organizing Committee
Author of Foundations of a live data exploration environment within the Research Papers-track
Onward! 2019
Off the Beaten Track 2019 Committee Member in Program Committee within the Off the Beaten Track 2019-track
Salon des Refusés 2019 Author 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 2019 Committee 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 2019 Author of The search for fundamental software engineering principles within the Curry On-track
Salon des Refusés 2018 Committee 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 IV Session Chair of Monday Morning (part of Papers)
Committee Member in Program Committee within the Papers-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
‹Programming› 2018 Author of What we talk about when we talk about monads within the Research Papers-track
Salon des Refusés 2017 Author 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 2017 Committee Member in Program Committee within the OBT-track
‹Programming› 2017 Author 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 2016 Committee Member in Program Committee within the TyDe-track
ECOOP 2017 Author of Data exploration through dot-driven development within the ECOOP Research Papers-track
PLDI 2016 Author of Types from data: Making structured data first-class citizens in F# within the Research Papers-track
Future Programming Workshop 2015 Author of The Gamma: Programming tools for data journalism within the Future Programming Workshop-track
Onward! 2015 Author of Against a Universal Definition of Type within the Onward! Essays-track