Hello! I’m Nikolaus Holzer, PhD Student at Columbia University and AI researcher!

I am a researcher at Columbia University advised by Professor Baishakhi Ray and Professor Mark Santolucito working at the intersection of code generation, reinforcement learning, formal methods, and causal reasoning.

My work focuses on designing better code generation systems. Our field is focusing more and more on agentic reasoning and with that comes a greater focus on reasoning as a whole. I am interested in making intelligent systems more intelligent and learning to understand why agents make decisions.

If you have any questions about my research, or want to collaborate, feel free to reach out!