Mehmet Emre

"Science is much more 'sloppy' and 'irrational' than its methodological image."

— Paul Feyerabend

I am a PhD student 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
emre@cs.ucsb.edu
Twitter
@maemre
GitHub
@maemre
Academic website
https://cs.ucsb.edu/~emre

Author: Mehmet Emre

Created: 2020-10-17 Sat 03:33

Validate