Nicole Thalia Heinimann

PhD student at TU Berlin, working on programming languages and compilers.

My research focuses on using machine learning to guide equality saturation in e-graphs. I'm also interested in GPU/accelerator programming languages and compilers, and Rust-style type systems.