About

Table of Contents

Overview
Research
Education and Employment
Cool Stuff
References
Citations

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:

I am also especially interested in:

§ 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

A list of stuff I find incredibly cool, in no particular order:

Haskell: a general-purpose pure lazy functional programming language lead by Simon Peyton Jones with a advanced and extensible type system.
Higher Order Company: a company developing new programming languages for fast theorem proving and parallel computation.
Zig: a new systems programming language with a minimalist design and advanced metaprogramming capabilities.
Jai: a new (and in-development) systems programming langauge by Jonathan Blow with advanced metaprogramming capabilities and designed for the joy of programming and game development.
Marginal Revolution: an economics blog by Tyler Cowen and Alex Tabarrok.
PureScript: a general-purpose pure functional programming language by Phil Freeman (paf31) inspired by Haskell that compiles to Javascript.
Zed: a new fast editor (implemented in Rust) by Nathan Sobo, Antonio Scandurra, and Max Brunsfeld.
Bun: a new fast Typescript/Javascript runtime by Jarred Sumner (implemented in Zig).
Overcast: a simple podcast manager app by Marco Arment for iOS.
Obsidian: a simple markdown-based notetaking app by Erica Xu, Shida Li, and Steph Ango as a modern take on Emacs's org-mode.

§ References

§ Citations

about