Don Sannelli

Donald T. Sannella FRSE jest profesorem informatyki w Laboratorium Podstaw Informatyki w Szkole Informatyki Uniwersytetu w Edynburgu w Szkocji.

Sannella jest absolwentem Uniwersytetu Yale , Uniwersytetu Kalifornijskiego w Berkeley i Uniwersytetu w Edynburgu, uzyskując stopnie naukowe z informatyki. Jego zainteresowania badawcze obejmują: specyfikację algebraiczną i formalne tworzenie oprogramowania , poprawność systemów modułowych, typów i programowania funkcjonalnego , certyfikację zasobów dla kodu mobilnego .

Sannella jest założycielem European Joint Conferences on Theory and Practice of Software , konfederacji konferencji informatycznych, odbywających się corocznie w Europie od 1998 roku. Jest redaktorem naczelnym czasopisma Theoretical Computer Science oraz współzałożycielem i dyrektorem generalnym Contemplate Sp . Jego ojcem jest Ted Sannella .

wyróżnienia i nagrody

W 2014 Sannella został wybrany członkiem Royal Society of Edinburgh .

Linki zewnętrzne

• Oficjalna strona główna
• Osobista strona główna
• Publikacje