Tomas Petricek
Assistant Professor at Charles University
Prague, Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolTomas Petricek is an assistant professor and seasoned researcher-developer with 15 years of experience at the intersection of programming languages, data science tooling and functional programming, particularly F#. He combines academic rigor (PhD from Cambridge) with hands-on open-source impact—contributions to widely used projects like FSharp.Data, FAKE and Fable demonstrate deep expertise in type providers, compiler tooling and practical data access. He has led tooling efforts at Microsoft and The Alan Turing Institute and now balances teaching and research at Charles University with commercial F# consulting through fsharpWorks. Tomas’s work blends theory and practice: from inventing coeffects as a language abstraction to shipping JSON providers and language-server features that improve developer ergonomics. He is motivated by changing how we think about problems, applying philosophy of science to make data exploration and reproducible narratives more transparent and interactive.
15 years of coding experience
7 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at University of CambridgeMSc, Theoretical Computer Science, MSc, Theoretical Computer Science at Charles University in Prague
English, Czech
Stackoverflow
242,097reputation
7.1mreached
3,306answers
0questions
type-conversion
top-5%
ocaml
top-5%
debugging
top-5%
permutation
top-5%
dictionary
top-5%
oop
top-1%
Github Skills (142)
tail-recursion10
linq10
compiler-development10
functor10
type-providers10
build-automation10
fsharp10
website-design10
fable10
javascript10
mutable10
async10
parallel-processing10
front-end-development10
html10
Programming languages (18)
Github contributions (5)
fsprojects/FSharp.Data
Dec 2012 - Nov 2017
F# Data: Library for Data Access
Role in this project:
Back-end Developer
Back-end DeveloperContributions:219 commits, 18 PRs, 7 pushes in 5 years
Contributions summary:Tomas implemented a new JSON provider for the F# Data library, demonstrating expertise in data access and type providers. They added a new implementation for the JSON provider and clarified the distinctions between heterogeneous arrays and sum types, which indicates a strong understanding of data structures. Furthermore, the user introduced tests for inference, demonstrating an understanding of testing and quality assurance in software development.
csvdatadata-accessfsharpxml
fsharp/fsharp.org
Nov 2012 - Apr 2017
The F# Software Foundation website
Role in this project:Front-end Developer
Front-end DeveloperContributions:325 commits, 13 PRs, 12 pushes in 4 years 5 months
Contributions summary:Tomas's contributions primarily involve modifications to the website's front-end design and layout. Their work includes changes to the homepage, the addition of a testimonials page, and styling adjustments, indicating a focus on improving the visual presentation and user experience of the F# Software Foundation website. The user also updated the menu and links, refining the site's structure and navigation. They also added some CSS styles and fixed a bug.
foundation
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.