Projects & Research :
An LLM aided choose your own adventure game controlled by a system synthesized with Temporal Stream Logic (TSL) using asynchronous JavaScript and HTML.
Rose: An embedded JavaScript domain-specific language written in Rust and TypeScript for extensible, interactive automatic differentiation on the web.
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.
Structured editor for TSL: Incorporates JavaScript's Tone.js library to synthesize music.
House plant series: Drawn with India Ink and brush on ink block.