Michele Bugliesi

Michele Bugliesi (born in Udine in 1962)[1] is Full Professor in Computer Science[2] in the Ca' Foscari University of Venice. He has been elected Rector of this University[3][4] for the mandate 2014-2015 to 2019-2020.[5]

Scientific activity

Michele Bugliesi works on analysis and formal systems in informatics,[6] with publications on models of communications[7] and logic programming.[8]

gollark: ```haskellapioform [] = 0apioform (x:xs) = 1 + apioform xs```Pattern matching!
gollark: Pattern matching.
gollark: That doesn't generalize to multiple lists and is longer.
gollark: `head:tail`? No.
gollark: What ELSE are you going to do, `x:xlist`? That is TWO more characters.

References
  1. "Rettore Università Ca' Foscari". Università Ca' Foscari Venezia.
  2. "Michele Bugliesi". www.dsi.unive.it.
  3. "Michele Bugliesi nuovo rettore dell'Università Ca' Foscari". www.ilgazzettino.it.
  4. User, Super. "Bugliesi Michele - Rettore Università Ca' Foscari Venezia - CRUI - Conferenza dei Rettori delle Università italiane". www.crui.it.
  5. "Ca' Foscari al voto, il nuovo rettore è il professor Michele Bugliesi". VeneziaToday.
  6. "Michele Bugliesi - Citazioni di Google Scholar". scholar.google.com.
  7. Bugliesi, M; Castagna, G; Crafa, S (2001). "Boxed Ambients". Proceedings of the International Symposium on Theoretical Aspects of Computer Software: 38–63. doi:10.1007/3-540-45500-0_2.
  8. Bugliesi, M; Lamma, E; Mello, P (1994). "Modularity in logic programming". The Journal of Logic Programming. 19: 443–502.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.