Functional Languages & Full-stack Developer

Dmitri is a recent CS masters graduate looking for opportunities starting in September. His background is in programming language theory (particularly logic/relational programming), with a strong interest in functional languages, compilers, automated reasoning, and formal verification. He also has a background in music (published composer) and is interested in audio/music-related roles. Dmitri is curious about embedded/systems work and has experience with full-stack development, including databases, cloud infrastructure, web APIs, and frontends. He has independently released a commercial music production plugin (Pivotuner).