Mehmet Emre

Professor Mehmet Emre is an Assistant Professor of Computer Science at the University of San Francisco. His research lies at the intersection of programming languages and software engineering, with a focus on building and applying program analysis techniques to automatically understand program behavior. A central theme of his current research is extracting memory safety and thread safety properties from C programs to facilitate their transition to safer programming languages such as Rust. His work addresses practical challenges in language migration while grounding solutions in formal analysis. Beyond this, his research has explored dynamic invariant inference, cross-language clone detection, debugging and understanding program analyses, and the use of programming language techniques to provide automated feedback to students on programming assignments. His research has been published in leading venues such as Proceedings of the ACM on Programming Languages (OOPSLA).