Univ. di Pisa - Un semestre di ricerca in Germania con la Fondazione Alexander von Humboldt
Quest’anno è stato premiato il professor Egon Börger, docente di Informatica dell’Ateneo pisano che, insieme a Simone Zenzaro e ad altri colleghi, lavorerà nelle università di Düsseldorf e Bonn-Rhein-Sieg al progetto dal titolo “A Comparative Analysis of Business Process Modeling Approaches”.
Il professor Börger, che ha insegnato Informatica a Pisa dal 1985, è un pioniere dei metodi della logica applicata all’informatica. È anche tra i fondatori del metodo Abstract state machine (ASM) per la progettazione e analisi accurata e controllata dei sistemi software. Ad oggi è uno dei principali scienziati per i modelli basati sull’ASM e tecnologie di verifica, che hanno caratterizzato significativamente la sua attività. Nel 2007 aveva ricevuto il prestigioso “Premio Humboldt per la ricerca”.
Simone Zenzaro, 28 anni, originario di Comiso in provincia di Ragusa, ha studiato Informatica all’Università di Pisa dove nel 2012 ha ottenuto la borsa di dottorato. La sua attività di ricerca riguarda principalmente l’interazione uomo-macchina (HCI), in particolare le Natural User Interfaces (NUIs), e Ingegneria del Software.