Raven Rothkopf

Projects & Research :

walking character
RESEARCH

An LLM aided choose your own adventure game controlled by a system synthesized with Temporal Stream Logic (TSL) using asynchronous JavaScript and HTML.

programming language
RESEARCH

Rose: An embedded JavaScript domain-specific language written in Rust and TypeScript for extensible, interactive automatic differentiation on the web.

research paper
PUBLICATION

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.

blue z3 solver logo and birthday cake
PROJECTS

Encoding a birthday logic puzzle with the Z3 SMT solver.

snake game
PROJECTS

The Snake game, synthesized using the TSL specification language.

programming language
PROJECTS

SLYCE: a dependently typed toy programming language written in Haskell.

block-based interface for generating animations
PUBLICATION

Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. PLATEAU 2023.

interface for generating animations
RESEARCH

Temporal Stream Logic (TSL) x Three.js: Interface for synthesizing reactive animations using TSL and Three.js.

Splatter casual paint game
PROJECTS

Splatter: a casual game created in Unity with C#. Follows minimalistic design principles.

dynamic grammars structured editor
RESEARCH

Structured editor for TSL: Incorporates JavaScript's Tone.js library to synthesize music.

house plant series, ink drawings
ART

House plant series: Drawn with India Ink and brush on ink block.