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.
|This biographical article about a Scottish scientist is a stub. You can help Wikipedia by expanding it.|
|This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.|