Professor Dr. Don Sannella
Professor
Build a Statement of Purpose
Generate a tailored SOP for Dr. Don Sannella. Improve your application with a focused, well-structured draft.
Biography
Don Sannella is an Emeritus Professor in the School of Informatics at the University of Edinburgh, where he has contributed significantly to the fields of computer science and formal software development. His research interests include security proof-carrying code, mobility security, and algebraic specification, particularly within the context of formal methods and their application to software engineering. He has served as Editor-in-Chief for the journal Theoretical Computer Science and has been involved in several significant research projects, including Dervish, a robot for landmine detection. Alongside his teaching commitments, he has supervised Ph.D. students and has been active in academic governance, notably founding the ETAPS steering committee. Sannella’s outreach includes articles and textbooks in theoretical computer science and he has been recognized as a Fellow of the Royal Society of Edinburgh.
Research Interests
Courses
Requirements for University of Edinburgh
Master Program
Requirements
GPA Requirement
IELTS
TOEFL
Prerequisites
Application Checklist
- Academic transcripts
- Personal statement
- One academic reference
- CV/Resume
Specialization Notes
Department of Marketing