Professors Visitants

David Turner ha estat professor al Queen Mary College, a la Universitat de Texas a Austin, i a la Universitat de Kent. Actualment és Professor Emeritus a la Universitat de Middlesex i també a la Universitat de Kent. El professor Turner és conegut com a l'inventor del combinator graph reduction, i pel disseny i implementació d'una sèrie de llenguatges no-estricts purament funcionals, entre ells Miranda, el qual va ser el principal precursor de Haskell. Ell va inventar o co-inventar moltes de les idees que ara són un estàndard a la programació funcional com els patrons amb guardes, les llistes per comprensió i el mètode de lists of successes per eliminar el backtracking. Els seus interessos actuals de recerca inclouen strong functional programming on es garanteix la terminació, els sistemes de tipus amb tipus dependents, i les connexions entre la programació funcional i la lògica intuicionista.

Estarà entre nosaltres, al Departament de LSI des del dia 13 al dia 17 de Maig. Ha estat convidat per treballar en temes de graphic-functional languages amb Silvia Clérici i Cristina Zoltan, i el dimecres 14 de Maig va donar una xerrada pel Màster en Computació sobre Total Functional Programming.