Projects & Research :
Towards Reactive Synthesis as a Programming Paradigm. PLATEAU 2024.
Enforcing Temporal Constraints on Generative Agents with Reactive Synthesis. arXiv preprint. Presented at PLATEAU 2024.
Rose: Extensible, Interactive Autodiff on the Web. SPLASH 2023 Student Research Competition, 3rd place. The culmination of my research as an REU SWE intern at Carnegie Mellon University.
Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. PLATEAU 2023.
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.
Temporal Stream Logic (TSL) x Three.js: Interface for synthesizing reactive animations using TSL and Three.js.
Structured editor for TSL: Incorporates JavaScript's Tone.js library to synthesize music.
Video game controller with joystick, LED feedback, and TTGO T-Display ESP32. Configured to control a Super Mario Bros. themed Pac-Man game.
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.
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.