|
|
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}} |