Home
Short biography
I'm an Associate Professor at the Department of Computer Science, Aalborg University, Denmark, within the Distributed, Embedded, and Intelligent Systems (DEIS) Unit.Until December 2012 I was a Ph.D. student at the Dept. of Mathematics and Computer Science (DiMI), University of Udine, under the supervision of Prof. Marino Miculan. I received the Bachelor and Master degree in Computer Science at the University of Udine, in October 2005 and 2008, respectively, both with full marks (110/110 cum laude).
curriculum vitae:
(updated 2018)
(updated 2018)
Upcoming Events!
Consider submitting your work to these conferences- ACM/IEEE Symposium on Logic in Computer Science, LICS 2025 (PC member)
- International Colloquium on Automata, Languages, and Programming, ICALP 2025 (PC member - Track B)
- Conference on Mathematical Foundations of Programming Semantics, MFPS 2025 (PC member)
- Combined international workshops on Expressiveness in concurrency and Structural Operational Semantics EXPRESS/SOS 2025 (Co-chair)
- International Symposium on Games, Automata, Logics, and Formal Verification GandALF 2025 (Co-chair)
Contact informations
affiliation: Department of Computer Science, Aalborg University address: Selma Lagerlöfs Vej 300, DK-9220 Aalborg, Denmark (map) office: 1.2.11 (First cluster, 1st floor, Room 11), Cassiopeia building phone: +45 9940 9859 fax: +45 9940 9798 e-mail: @ skype: 
(send an email first)
google+: 
(send an email first)
valid XHTML | CSS
Giorgio Bacci
Index
home
Quick contacts
| phone: | +45 9940 9859 |
|---|---|
| office: | 1.2.11, Cassiopeia |
| e-mail: | @ |