Don Sannella

Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland.

Sannella graduated from Yale University with a degree in computer science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code.

He is editor-in-chief of the journal Theoretical Computer Science.

...
Wikipedia