TLA+ Model of a Walk-In Oven
A formal TLA+ specification of a walk-in industrial oven with a focus on safety interlocks.
TLA+
TLA+ Model of a Laptop
A formal TLA+ specification modeling a laptop’s power states and transitions.
TLA+ Model of Dexcom G7
A formal TLA+ specification of the Dexcom G7 continuous glucose monitor’s behavior and safety properties.
Researcher
Research on TLA+ and fine-tuning open-source LLMs for formal methods.
Connect 4 Game Engine
A Chess engine-esque Connect 4 analyzer
Web Based TLA+ Microwave
An interactive microwave in the browser to learn TLA+
Software Engineer
Implemented a web-based visualization and demo application for TLA+ using Spring Boot and Vaadin.