Atenei e Rettori

Bugliesi Michele - Rettore Università Ca' Foscari Venezia

  • Ateneo: Ca' Foscari Venezia
  • Scad.: Scadenza 30 settembre 2020
  • Ord.: Informatica
  • Nato: 31 Maggio 1962 Udine
  • Sede: Dorsoduro, 3246 30123 Venezia
  • Tel.: Tel. 041/2348211 Fax 041/ 2348321
  • Email: This email address is being protected from spambots. You need JavaScript enabled to view it.

Nato a Udine nel 1962; laureato in Scienze dell’Informazione all’Università di Pisa (1987), dopo tre anni di attività presso centri di ricerca del gruppo ENI,  ha ricevuto una Fullbright Fellowship  per un Master in Computer Science a Purdue University (1992).  Ha conseguito il Dottorato di Ricerca in Informatica presso l’Université Denis Diderot – Paris VII (2003).

Professore Ordinario di Informatica all’Università Ca' Foscari Venezia dal 2006. In precedenza Professore Associato a Ca’ Foscari (2001 – 2006), Ricercatore a Ca’ Foscari (1998 – 2000) e all’Università di Padova (1992 – 1998).

Visiting  Professor presso Boston University (1999),  ENS Paris (2000), e visiting scientist presso numerose università straniere, con le quali mantiene tutt’ora rapporti di collaborazione scientifica.

Direttore del Dipartimento di Science Ambientali Informatica e Statistica (2011-2014), Direttore del Dipartimento di Informatica (2009 - 2010), Membro della Giunta della Facoltà di Scienze MM.FF.NN. (2006 - 2010) e Membro del Senato Accademico (2006 - 2009, 2013 - 2014). 

Dal 1 Ottobre 2014 è Rettore dell’Università Ca’ Foscari Venezia

Svolge la sua attività di ricerca nel campo dell’analisi e verifica formale del software, in particolare per gli aspetti relativi alla sicurezza e alla protezione della privacy dei dati e delle informazioni in sistemi distribuiti. Autore di circa 100 pubblicazioni su riviste e atti di conferenze internazionali di prestigio. Nel 2013, ha ricevuto il premio per l'EATCS Best Theory Paper alla European Joint Conferences on Theory and Practice of Software (ETAPS 2013). Membro del comitato scientifico di importanti conferenze internazionali. Ha coordinato numerosi progetti di ricerca a livello regionale, nazionale ed europeo. Componente dell’albo del MIUR per la valutazione di progetti di ricerca e di innovazione tecnologica. Fellow dell’Istituto Veneto di Lettere, Scienze e Arti.

Scadenza mandato Rettore: 30 settembre 2020

Altri incarichi
Presidente del Centro Internazionale di Studi sull’Economia del Turismo. Presidente della Fondazione Ca’ Foscari
Consigliere Generale della Fondazione Venezia. Consigliere Generale della Fondazione Cini. Componente del Consiglio di Amministrazione di VEGA S.c.a.r.l.

Pubblicazioni selezionate
1. S. Calzavara, G. Tolomei, A. Casini,  M. Bugliesi,  S. Orlando.  A supervised learning approach to protect client authentication on the web. ACM TRANSACTIONS ON THE WEB, vol. 9, pp. 1-30
2. M. Bugliesi, S. Calzavara, F. Eigner, M. Maffei. Affine refinement types for secure distributed programming. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 37, pp. 1-66
3. M. Bugliesi, S. Calzavara, R. Focardi, W.  Khan. CookiExt: Patching the browser against session hijacking attacks. JOURNAL OF COMPUTER SECURITY, vol. 23, pp. 509-537
4. M. Bugliesi, L. Gallina,  S. Hamadou,  A. Marin,  S. Rossi. Behavioural equivalences and interference metrics for mobile ad-hoc networks. PERFORMANCE EVALUATION, vol. 73, pp. 41-72
5. M. Bugliesi,  R. Focardi. Channel Abstractions for Network Security.  MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 20(1), pp. 3-44
6. M. Bugliesi, R. Focardi, M. Maffei.  Dynamic Types for Authentication. JOURNAL OF COMPUTER SECURITY, vol. 15 (6), pp. 563-617
7. M. Bugliesi, S. Crafa, M. Merro, V. Sassone.  Communication and Mobility Control in Boxed Ambients. INFORMATION AND COMPUTATION, vol. 202 (1), pp. 39-86
8. M. Bugliesi, S. Rossi. Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols.  JOURNAL OF COMPUTER SECURITY, vol. 13, pp. 87-113
9. M. Bugliesi, G. Castagna, S. Crafa.  Access Control for Mobile Agents: the Calculus of Boxed Ambients. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 26, pp. 57-124
10. M. Bugliesi, S. Pericas-Gertseen. Type Inference for Variant Object Types. INFORMATION AND COMPUTATION, vol. 177(1), pp. 2-27

Log in