I'm Henry Blanchette, and this is my personal website. The program that generates this website is available at rybla/rybl-dot-net_v5.

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

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

Research

My research interests have centered around programming languages, simulation, mathematical modeling, and data analysis.

time	topic	association
2022-2024	Pantograph (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 Michael Greenberg; at University of Maryland
2020	Generalized Price Equation	with Mark Bedau; for the Artificial Life Lab at Reed College
2020	Separation Logic in Agda	with Jim Fix; at Reed College
2019	Gradual Verification	with Jonathan Aldrich; for REUSE at CMU
2018	Reputation in Academic Citation Networks	with Eitan Frachtenburg; at Reed College
2018	Vector Calculus Vizualizations	with Kyle Ormsby for Project Project; at Reed College
2017	Milnor Fibration Vizualizations	with Kyle Ormsby; for Project Project at Reed College

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 Galois with Tangram
2022	worked as summer intern at Galois, developing the Cryptol langauge and verifying cyber-physical systems using Coq
2021	worked as summer intern at Runtime Verification, verifying Ethereum smart contracts using the K Framework
2020	began PhD program in computer science at University of Maryland
2020	graduated undergraduate program at Reed College with BA in computer science. Thesis: Thesis: Purity and Effect
2016	began undergraduate program at Reed College