Hispanopedia WikiDonald T. Sannella es profesor de informática en el Laboratorio de Fundamentos de la Informática , en la Escuela de Informática de la 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 ciencias de la computación. Sus intereses de investigación incluyen: especificación algebraica y desarrollo formal de software , corrección de sistemas modulares , tipos y programación funcional , y certificación de recursos para código móvil .
Sannella es el fundador de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software , una confederación de conferencias de informática que se celebran anualmente en Europa desde 1998. Es redactor jefe de la revista Theoretical Computer Science y cofundador y director ejecutivo de Contemplate Ltd. Su padre es Ted Sannella .
Honores y premios
En 2014, Sannella fue elegida miembro de la Real Sociedad de Edimburgo . [ 1 ]
Referencias
- ↑ "Profesor Donald Theodore Sannella FRSE - La Real Sociedad de Edimburgo" . La Real Sociedad de Edimburgo . Consultado el 9 de febrero de 2018 .
Enlaces externos
- Sitio web oficial
- Sitio web personal
- Publicaciones
- Personas vivas
- científicos informáticos escoceses
- investigadores de lenguajes de programación
- diseñadores de lenguajes de programación
- Antiguos alumnos de la Universidad de Edimburgo
- Académicos de la Universidad de Edimburgo
- Métodos formales personas
- Editores de revistas académicas
- ex alumnos de la Universidad de Yale
- exalumnos de la Facultad de Ingeniería de UC Berkeley
- Miembros de la Real Sociedad de Edimburgo
- Esbozos de científicos escoceses
- esbozos de especialistas informáticos británicos