About
Table of Contents
I'm Henry Blanchette, and this is my personal website. The program
that generates this website is available at 
rybla/rybl-dot-net_v6.
Overview
I am a programmer and researcher focused on:
programming language theory
formal specification and verification
mathematical modeling and simulation
user interface design
game design
economics and game theory
Research
My research interests have centered around programming languages, simulation, mathematical modeling, and data analysis.
| time | topic | association |
|---|---|---|
| 2022-2024 |  acm)
-- a fluid and well-typed structure editor |
with  Jacob Prinz;
at  University of
Maryland |
| 2022-2023 | Liquid Flex -- extension of the  Flex
language with refinement types |
with  Tangram |
| 2022 |  Zypr --
a zipper-interfaced structure editor |
with Jacob Prinz;
at University of
Maryland |
| 2022 |  Liquid
Proof Macros ( acm)
-- tactical metaprogramming for Liquid Haskell proofs |
with  Leonidas
Lampropoulos and  Niki
Vazou; at University of
Maryland |
| 2021 |  Extensional
Equality in Liquid Haskell |
with Leo
Lampropolous, Niki
Vazou, and University of
Maryland |
| 2020 | Generalized Price Equation | with |
| 2020 | Separation Logic in Agda | with |
| 2019 | Gradual Verification | with |
| 2018 |  Reputation
in Academic Citation Networks |
with Eitan Frachtenburg; at |
| 2018 | with Kyle Ormsby for |
|
| 2017 | with Kyle Ormsby; for |
Education and Employment
My education has centered around mathematics, computer science, and philosophy. My employment has been in software engineering, theoretical computer science research, and software verification.
| time | event |
|---|---|
| 2024 | worked as intern at  Oracle
Labs with  Harold
Carr and  Mark
Moir |
| 2022-2023 | worked as independent contractor at Tangram |
| 2022 | worked as summer intern at |
| 2021 | worked as summer intern at |
| 2020 | began PhD program in computer science at |
| 2020 | graduated undergraduate program at  Thesis:
Purity and Effect |
| 2016 | began undergraduate program at |
Cool Stuff
PureScript: a general-purpose programming language inspired by Haskell that compiles to Javascript
Haskell: a general-purpose programming language with the most advanced type system
Bun: a fast
Typescript/Javascript runtime implemented in Zig
Zed: a fast editor
implemented in Rust
Zig: a systems
programming language with a minimalist design and advanced
metaprogramming capabilities
Marginal
Revolution: an economics blog by Tyler Cowen and
Alex Tabarrok
Overcast: a simple podcast player app for iOS
Obsidian: a
markdown-based notetaking app
References
- rybla/rybl-dot-net_v6
Pantograph
- acm
- Jacob
Prinz
- University of
Maryland
- Flex
- Tangram
- Zypr
- Jacob
Prinz
- University of
Maryland
- Liquid
Proof Macros
- acm
- Leonidas
Lampropoulos
- Niki
Vazou
- University of
Maryland
- Extensional
Equality in Liquid Haskell
- Leo
Lampropolous
- Niki
Vazou
- University of
Maryland
Mark Bedau
Jim Fix
Reed College
Jonathan Aldrich
- Reputation
in Academic Citation Networks
Vector Calculus Vizualizations
Milnor Fibration Vizualizations
Project Project
- Oracle
Labs
- Harold
Carr
- Mark
Moir
- Tangram
Runtime Verification
Ethereum smart contracts
K Framework
University of Maryland
- Thesis:
Purity and Effect
- Bun
- Zed
- Zig
- Marginal
Revolution
- Obsidian