Home
Hello, I am currently a software correctness and assurance consultant, helping organizations navigate the use of high-assurance software development and formal methods. Previously I worked as the Executive Director of the Haskell Foundation, a Lecturer at the University of Maryland and a Research Scientist at Galois, Inc. working mostly on Quantitative Information Flow, Property-based testing, and Abstract Interpretation. My main interests are (in no particular order): Parallelism, Functional Languages, Aviation, and Bread Making.
Feel free to send me an email at jose@jmct.cc
About Me
You can see a list of my peer-reviewed publications on Google Scholar.Posts:
Burge School of Functional Programming:
- Jan 9, 2017 1: Expressions
- Dec 23, 2016 Introduction
Posts about Functional Programming:
- Oct 6, 2024 My Experience With Operation Airdrop
- Mar 7, 2022 Quick and Dirty Mirroring for Historians
- Aug 6, 2021 PLMW @ ICFP 2021
- Apr 24, 2015 Professor Paul Hudak
- Nov 18, 2014 Introduction
Memos:
Informal communications that may have wider interest:
- Nov 26, 2014 Specialising on Demand
- Jun 16, 2014 Free Tutorial (Originally for Reid Draper)
- Nov 25, 2013 Simon's Search