Don Sannella
id:
don-sannella-236-3831162
title:
Don Sannella
text:
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, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mob
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Don_Sannella
date created:
date modified:
2024-04-22T04:57:18Z
main entity:
{"identifier":"Q5293472","url":"https://www.wikidata.org/entity/Q5293472"}
image:
fields total:
13
integrity:
13