About

Table of Contents

Overview
Research
Education and Employment
Cool Stuff
References

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:

§ Research

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

time	topic	association
2025	Chronolog --- a Prolog-style constraint solver goal suspension and resumption control; DCS --- a strong functional programming language supporting divide and conquer recursion.	with Aaron Stump at Boston College
2025	ce-editor-egui --- a fluid structure editor for c-expression, built with egui	at University of Maryland
2025	ce-editor --- a fluid structure editor for c-expression	at University of Maryland
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
2025	worked as research associate at Boston College with Aaron Stump on Chronolog and DCS
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

§ 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

About

§ Overview

§ Research

§ Education and Employment

§ Cool Stuff

§ References