Donald T. Sannella FRSE es profesor de ciencias de la computación en el Laboratorio de Fundamentos de Ciencias de la Computación , en la Facultad de Informática , Universidad de Edimburgo , Escocia.
Sannella se graduó de la Universidad de Yale , la Universidad de California, Berkeley y la Universidad de Edimburgo con títulos en informática. Sus intereses de investigación incluyen: especificación algebraica y desarrollo de software formal , corrección de sistemas modulares , tipos y programación funcional , certificación de recursos para código móvil .
Sannella es fundador de las European Joint Conferences on Theory and Practice of Software , una confederación de conferencias de informática, que se celebra anualmente en Europa desde 1998. Es editor en jefe de la revista Theoretical Computer Science , y es cofundador y CEO de Contemplate Ltd . Su padre es Ted Sannella .
Honores y premios
En 2014, Sannella fue elegida miembro de la Royal Society of Edinburgh . [1]
Referencias
- ^ "Profesor Donald Theodore Sannella FRSE - La Royal Society de Edimburgo" . La Royal Society de Edimburgo . Consultado el 9 de febrero de 2018 .