Hello! I'm a Master's student at Columbia University studying computer science. My research focuses on formal methods and neuro-symbolic AI.
Currently working on:
- Working on making FPGA engineering more accessible for software people like myself.
Past Research Contributions:
Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications Sam Nicholas Kouteili, William Fishell, Christian Scaff, Mark Santolucito, Ruzica Piskac (ESOP 2027)
PALS: Preference-guided Active Automata Learning for Symbolic Reinforcement Learning in Games William Fishell, Christian Scaff, Sam Nicholas Kouteili, Mark Santolucito (ICML 2026 Workshop)
Open-Source Contributions:
Manhattan Reasoning Gym — Accessible Cloud Compute for Agentic RTL Development.
Wyvern Graph — An LLVM IR to Knowledge Graph Translator.
AlgebraicJulia — An ecosystem of software based on generalized algebra and category theory in Julia.
CV: Christian_Scaff_CV_2026.pdf
I was a Portuguese Studies minor in undergrad. Here's me at the last Bate Papo meeting of Spring '25.
I also love concert photography. Check out my work here 🎞️.
Portra 800 Pushed 1 Stop
Lip Critic's June '24 show at the Subterranean in Chicago
That's the end of my page. Sorry :\
🎧 Currently Listening to...