Hi! I’m a PhD Student at TU Berlin at the chair for Programming Languages and Compilers.

I’m currently working on Machine Learning for Guided Equality Saturation in E-Graphs but I’m also interested in GPU-oriented Programming Languages and Rust-like type systems.

You can reach at <lastname>@tu-berlin.de.