Mehmet Emre
Department of Computer Science
University of California San Francisco
About Professor Mehmet Emre
The University of San Francisco’s Department of Computer Science is recognized for its rigorous academic programs and commitment to impactful, socially conscious research. As a prominent institution in the heart of the technology sector, USF provides a dynamic environment where theoretical computer science meets practical application. Within this respected department, faculty like Assistant Professor Mehmet Emre engage in cutting-edge work that addresses foundational and emerging challenges in the field, fostering an academic culture of innovation and excellence that prepares students for leadership in both industry and academia.
🧬Research Focus
Professor Emre’s research program operates at the critical intersection of programming languages and software engineering, with a core focus on program analysis and formal verification. His work on extracting memory safety and thread safety properties from legacy C code to enable automated migration to safer languages like Rust tackles a significant real-world problem in software security and reliability. By developing advanced techniques involving compilers and runtime systems, this research aims to create robust tools that can prevent common software vulnerabilities. The potential for breakthroughs in automated program understanding and transformation promises to enhance software sustainability and security on a broad scale.
🎓Student Fit & Career
Graduate students, particularly PhD candidates, seeking to engage in deep technical research will find an ideal academic mentor in Professor Emre. Students with a strong foundation in programming language theory, compiler design, or software systems, coupled with an interest in solving complex, practical problems through formal methods, will thrive in this research environment. This graduate research equips students with expertise in high-demand areas, opening career paths in advanced software engineering, security research, and academic positions. The mentorship provided emphasizes rigorous methodology and the translation of theoretical insights into tangible tools and systems, preparing the next generation of innovators.
Research Areas
Reviews (0)
No reviews yet for this supervisor.
Be the first to share your experience!
Frequently Asked Questions
Not sure how to interpret mixed signals? A structured decision guide can help you think through high-risk supervision choices more clearly. Download the free guide.