Mehmet Emre

Mehmet Emre is an Assistant Professor in the Department of Computer Science at the University of San Francisco, where he focuses on programming languages and software engineering. He earned his PhD and MS in Computer Science from UC Santa Barbara (2022, 2021) and a BS in Computer Engineering from Boğaziçi University (2015).

• PhD, Computer Science, UC Santa Barbara (2022)
• MS, Computer Science, UC Santa Barbara (2021)
• BS, Computer Engineering, Boğaziçi University (2015)

His research centers on program analysis with a focus on memory and thread safety, formal verification, and compiler design. Key areas include:

• Automated reasoning about memory safety in C programs
• Formalizing theoretical computer science in Lean
• Efficient parsing algorithms
• Programming language tooling for education

His publications reflect work on C-to-Rust translation safety, cross-language clone detection, JavaScript analysis optimization, and compiler-related education tools. Research trends emphasize bridging formal verification with practical software transitions and improving program analysis efficiency.

He directs the PL Lab at USF and coordinates the CS Tutoring Center, supporting students in courses like Programming Languages (CS 345) and Automata Theory (CS 411).