Mehmet Emre

I am an Assistant Professor of Computer Science at University of San Francisco. I got my PhD at PL λab at UC Santa Barbara supervised by Ben Hardekopf.

My general research focus is Programming Languages. During my PhD, I worked on analyzing how memory safety spreads in a C program in the context of C to Rust translation. My current research interests include

• Reasoning about memory safety.
• Formalizing theoretical computer science concepts in Lean.
• More efficient general parsing algorithms.
• Better tooling for teaching PL/theory/compilers courses.

See my academic website for how to contact me.