Home * People * Michele Bugliesi
mik-grecia-1 1.jpg

Michele Bugliesi,
an Italian computer scientist, Ph.D. in 2003 from Denis Diderot University - Paris VII, and professor of CS at Ca' Foscari University of Venice. His research interests include static program analysis, formal verification, computer security and distributed systems. Further, Michele Bugliesi was involved in the design and specification of the open-source programming language Casanova [1] [2] for developing Real-time strategy games [3].
Michele Bugliesi [4]

Selected Publications


1990 ...

2000 ...

2010 ...

External Links


  1. ^ Casanova Language - Home
  2. ^ Giacomo Casanova from Wikipedia
  3. ^ Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi (2011). Designing Casanova: A Language for Games. Advances in Computer Games 13
  4. ^ Michele Bugliesi
  5. ^ dblp: Michele Bugliesi

What links here?

Up one level