Hello! I'm a Master's student at Columbia University studying computer science. My research focuses on systems and neuro-symbolic AI.
Currently working on:
- Open-Source SAT Hardware Acceleration
- Compiler Optimization Verification via Bounded Model Checking
Past Research Contributions:
Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications Sam Nicholas Kouteili, William Fishell, Christian Scaff, Mark Santolucito, Ruzica Piskac
Open-Source Contributions:
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...