Generate a tailored SOP for Dr. Zafer Esen. Improve your application with a focused, well-structured draft.
Zafer Esen is a Senior Lecturer and Associate Professor in the Department of Information Technology at Uppsala University. His research interests primarily focus on the analysis and verification of programs with a specific emphasis on embedded systems and software tools. He is currently working on projects such as TriCera, a model checker for C programs that analyzes heap interactions, and Eldarica, which involves model checking using Horn clauses and Numerical Transition Systems. His expertise includes the application of formal methods in software development, and he is also versed in various programming languages, including Scala and Prolog. Zafer has contributed significantly to the field through his research on software programs that accept inputs from SMT-LIB 2 and fragments of Horn clauses. He is actively involved in developing advanced tools for ensuring software reliability and correctness.
General Master's requirements applying across Science, Technology, and Humanities departments.