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

Email
<drop the a in my twitter handle>@usfca.edu
Twitter
@maemre
GitHub
@maemre

Writings

Author: Mehmet Emre

Created: