Rose: Extensible, Interactive Autodiff on the Web. SPLASH 2023 Student Research Competition. The culmination of my research as an REU SWE intern at Carnegie Mellon University.
Encoding a birthday logic puzzle with the Z3 SMT solver.
The Snake game, synthesized using the TSL specification language.
SLYCE: a dependently typed toy programming language written in Haskell.
Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. PLATEAU 2023.
Temporal Stream Logic (TSL) x Three.js: Interface for synthesizing reactive animations using TSL and Three.js.
Splatter: a casual game created in Unity with C#. Follows minimalistic design principles.
House plant series: Drawn with India Ink and brush on ink block.