Mehmet Emre
"Science is much more 'sloppy' and 'irrational' than its methodological image."
— Paul Feyerabend
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 current research is focused on converting C programs to Rust programs with safety guarantees by reasoning about memory use patterns in the programs. I started putting some stuff here.
Contact
- <drop the a in my twitter handle>@usfca.edu
- @maemre
- GitHub
- @maemre