Hi, I am Simon.
I am building computational reasoning systems using a blend of LLMs and reflective and genetic algorithms.
I am a PhD student in Harvard's metareflection lab, and hold Bachelor's degrees in Computer Science
and Philosophy from TU Munich and the University of Munich, respectively.
Very soon (in September 2025), I will receive a Master's degree in Philosophy. Previously, I interned
at EPFL and Jane Street.
My studies are funded by the Harvard SEAS Prize Fellowship, and the German Studienstiftung's ERP Fellowship.
Please reach out – I like getting email.
Interests
Below are some of my interests outside of my AI research, to serve as conversation starters
if you like:
- Programming languages (including compiler construction)
- Entrepreneurship
- Philosophy (especially Vienna Circle and Nietzsche)
- Literature
- Game Design
Publications
-
David Brandfonbrener, Simon Henniger, Sibi Raja, Tarun Prasad, Chloe Loughridge,
Federico Cassano, Sabrina Ruixin Hu, Jianang Yang, William E. Byrd, Robert Zinkov, and
Nada Amin, “VerMCTS: Synthesizing Multi-Step
Programs using a Verifier, a Large Language Model, and Tree Search”, in MATH-AI,
the 4th Workshop on Mathematical Reasoning and AI, held at NeurIPS 2024. Distinguished
Paper Award.
- Simon Henniger and Nada Amin,
“The Dolorem Pattern: Growing
a Language through Compile-Time Function Execution”, in 37th European Conference
on Object-Oriented Programming (ECOOP 2023).