Wiki source code of Mirko Viroli

Show last authors
1 {{velocity}}
2 (% id="main-view" style='float:left;width:100%;' %)(((
3 (% style='background:WhiteSmoke;padding:15px;margin-bottom:10px' %)(((
4 #if( $services.localization.currentLocale=="it" )
5 * Professore Ordinario dell'[[Alma Mater Studiorum—Università di Bologna>>http://www.unibo.it]] (UNIBO)
6 * Vice-presidente di Sede della Scuola di Ingegneria, Cesena
7 * Coordinatore del [[Corso di Laurea Magistrale in Ingegneria e scienze informatiche>>https://corsi.unibo.it/magistrale/IngegneriaScienzeInformatiche]]
8 * Membro del [[Dipartimento di Informatica — Scienza e Ingegneria>>http://www.disi.unibo.it]] (DISI) di UNIBO
9 * Membro dell'[[Osservatorio Terza Missione>>https://www.unibo.it/it/ateneo/organizzazione/osservatorio-per-la-valutazione-della-terza-missione]] di UNIBO
10 ** Membro del Board Editoriale del Magazine [[IEEE Software>>https://publications.computer.org/software-magazine/]]
11 #else
12 * Full Professor at [[Alma Mater Studiorum—Università di Bologna>>http://www.unibo.it]] (UNIBO)
13 * Vice Dean of the Engineering School for the Cesena site
14 * Director of [[Second Cycle Degree of Computer Science and Engineering>>https://corsi.unibo.it/2cycle/ComputerScienceEngineering]]
15 * Member of [[Dipartimento di Informatica — Scienza e Ingegneria>>http://www.disi.unibo.it]] (DISI) at UNIBO
16 * Member of [[Osservatorio Terza Missione>>https://www.unibo.it/it/ateneo/organizzazione/osservatorio-per-la-valutazione-della-terza-missione]] at UNIBO
17 * Editorial Board Member of [[IEEE Software>>https://publications.computer.org/software-magazine/]]
18 #end
19 )))
20
21 == {{stringEngIta eng="Teaching" ita="Didattica"/}} ==
22
23 * Academic year 2019/2020 courses:
24 ** [[Paradigmi di Programmazione e Sviluppo>>http://apice.unibo.it/xwiki/bin/view/Courses/PPS1920?language=it]]
25 ** [[Programmazione ad Oggetti>>http://apice.unibo.it/xwiki/bin/view/Courses/OOP1920?language=it]]
26 ** [[Pervasive Computing>>http://apice.unibo.it/xwiki/bin/view/Courses/PC1920?language=it]]
27 * Academic year 2018/2019 courses:
28 ** [[Paradigmi di Programmazione e Sviluppo>>http://apice.unibo.it/xwiki/bin/view/Courses/PPS1819?language=it]]
29 ** [[Programmazione ad Oggetti>>http://apice.unibo.it/xwiki/bin/view/Courses/OOP1819?language=it]]
30 ** [[Pervasive Computing>>http://apice.unibo.it/xwiki/bin/view/Courses/PC1819?language=it]]
31 * [[Other courses>>http://apice.unibo.it/xwiki/bin/view/MirkoViroli/CoursesPerYear?language=it]]
32 * IT - **Ricevimento**: Si controlli (anche per eventuali variazioni) la pagina del docente sul portale UNIBO: [[MV>>http://www.unibo.it/SitoWebDocente/default.htm?UPN=mirko.viroli@unibo.it]]
33 * IT - **News Tesi**: Sono disponibili Tesi di Laurea Triennale e Magistrale sperimentali, con possibilità di collaborazione (durante la tesi o post-tesi) con aziende e Università italiane e estere (EU e USA), incentrate sullo sviluppo di tool prototipali di ricerca per contesti IoT, Mobile/Edge/Cloud computing — si contatti il docente per ulteriori dettagli.
34
35 == {{stringEngIta eng="Research" ita="Ricerca"/}} ==
36
37 * **Main interests**:
38 ** Topics: computational models and languages, and their relationship with software design, infrastructures and system analysis
39 ** Application contexts: pervasive computing, self-organisation, coordination, and object-orientation
40 ** Current focus: AGGREGATE COMPUTING
41 * **Systems**:
42 ** [[ALCHEMIST>>Alchemist.WebHome]]: a chemical-oriented simulator for natural and artificial situated systems, there including pervasive computing applications with emergent properties
43 * **Projects**:
44 ** Current: Compositionality, Interaction, Negoziation, Autonomicity for the future ICT society, PRIN 2010-2011, Role: UNIBO member
45 ** Past: [[SAPERE>>SAPERE.WebHome]], Self-aware Pervasive Service Ecosystems (FP7 STREP), 2010-2013, Role: UNIBO team leader, WP leader
46 ** Past: [[EOS>>Project.EOS]], [[EOS-DUE>>Project.EOS-DUE]]
47 * **Publications**
48 ** [[Publication Log>>MirkoViroli.Publications.PerSort||queryString='from=$firstYearPub&to=$lastYearPub']], [[Journal Papers>>MirkoViroli.Publications.PerSort||queryString="sort=article"]], [[Publications page with additional info>>MirkoViroli.Publications]], [[Myself@DBLP>>http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Viroli:Mirko.html]], [[All publications (as PDF)>>attach:Publications/aMV-CV-papers.pdf]]
49 * **Organization of Events/Publications**
50 ** I edited the following special issues: [[KER 26(1)>>Publication.IntroKer25Years]], [[SCP 76(1)>>Publication.PrefaceScp76]], [[ENTCS 194(4)>>Publication.IntroENTCS194]], [[ENTCS 175(2)>>Publication.IntroENTCS175]], [[SCP 66(3)>>Publication.PrefaceScp66]], [[JOT 6(2)>>Publication.IntroJOT6]], [[ENTCS 154(1)>>Publication.IntroENTCS154]], [[JOT 3(11)>>Publication.IntroJOT3]], [[AAECC 16(2-3)>>Publication.OverviewAaecc16]]
51 ** I chaired the following events: [[WOA 2010>>http://www.informatik.uni-trier.de/~ley/db/conf/woa/woa2010.html]], [[ACM SAC 2009>>http://www.informatik.uni-trier.de/~ley/db/conf/sac/sac2009.html]], [[ACM SAC 2008>>http://www.informatik.uni-trier.de/~ley/db/conf/sac/sac2008.html]], [[FINCO 2005>>http://www.informatik.uni-trier.de/~ley/db/journals/entcs/entcs141.html#GoldinV05]], plus several tracks at ACM SAC since 2004.
52
53 == {{stringEngIta eng="Theses" ita="Tesi"/}} ==
54
55 * Several theses are available both for "Triennale" and "Magistrale" programs, students can come to office hours (IT: "ricevimento") and discuss them. They sit in the following areas:
56 ** Systems development with advanced tools/techniques for Software Engineering
57 ** Experiments/development with Scala programming language and frameworks
58 ** Experiments/development with IoT systems: mobile, embedded and cloud frameworks
59 ** Design of innovative self-organising large-scale systems
60 ** Software Engineering for business applications
61
62 )))
63
64 {{/velocity}}