Changes for page Mirko Viroli

From version 45.1
edited by Andrea Omicini
on 17/07/2023 23:44
Change comment: There is no comment for this version
To version 42.1
edited by Andrea Omicini
on 17/07/2023 23:42
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -30,7 +30,7 @@
30 30  ** [[Pervasive Computing>>http://apice.unibo.it/xwiki/bin/view/Courses/PC1819?language=it]]
31 31  * [[Other courses>>http://apice.unibo.it/xwiki/bin/view/MirkoViroli/CoursesPerYear?language=it]]
32 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.
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 34  
35 35  == {{stringEngIta eng="Research" ita="Ricerca"/}} ==
36 36  
... ... @@ -37,15 +37,15 @@
37 37  * **Main interests**:
38 38  ** Topics: computational models and languages, and their relationship with software design, infrastructures and system analysis
39 39  ** Application contexts: pervasive computing, self-organisation, coordination, and object-orientation
40 -** Current focus: AGGREGATE COMPUTING
40 +** Current focus: [[AGGREGATE COMPUTING>>http://apice.unibo.it/xwiki/bin/view/Themes/AggregateComputing]] (check the page for details).
41 41  * **Systems**:
42 -** [[ALCHEMIST>>Alchemist.WebHome]]: a chemical-oriented simulator for natural and artificial situated systems, there including pervasive computing applications with emergent properties
42 +** [[ALCHEMIST>>http://www.apice.unibo.it/xwiki/bin/view/Alchemist/]]: a chemical-oriented simulator for natural and artificial situated systems, there including pervasive computing applications with emergent properties
43 43  * **Projects**:
44 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]]
45 +** Past: [[SAPERE>>SAPERE]], Self-aware Pervasive Service Ecosystems (FP7 STREP), 2010-2013, Role: UNIBO team leader, WP leader
46 +** Past: [[EOS>>Projects.EOS]], [[EOS-DUE>>Projects.EOS-DUE]]
47 47  * **Publications**
48 -** [[Publication Log>>MirkoViroli.Publications.PerSort||queryString='from=$firstYearPub&to=$lastYearPub']], [[Journal Papers>>${userSpace}.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]]
48 +** [[Publication Log>>${userSpace}.Publications.PerSort||queryString='from=$firstYearPub&to=$lastYearPub']], [[Journal Papers>>${userSpace}.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)>>http://apice.unibo.it/xwiki/bin/download/MirkoViroli/Publications/aMV-CV-papers.pdf]]
49 49  * **Organization of Events/Publications**
50 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 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.