Changes for page Mirko Viroli

From version 38.1
edited by Andrea Omicini
on 21/05/2023 01:32
Change comment: There is no comment for this version
To version 32.1
edited by Andrea Omicini
on 26/02/2022 16:54
Change comment: There is no comment for this version

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +Main.WebHome
Default language
... ... @@ -1,0 +1,1 @@
1 +en
Content
... ... @@ -1,9 +1,9 @@
1 1  = Mirko Viroli =
2 2  
3 -{{include reference="Classes.Environment" excludeFirstHeading="true"/}}{{include reference="Environment" excludeFirstHeading="true"/}}{{velocity}}
3 +{{include reference="Main.Environment" excludeFirstHeading="true"/}}{{include reference="Environment" excludeFirstHeading="true"/}}{{velocity}}
4 4  (% id="main-view" style='float:left;width:75%;' %)(((
5 5  (% style='background:WhiteSmoke;padding:15px;margin-bottom:10px' %)(((
6 -#if( $services.localization.currentLocale=="it" )
6 +#if ($context.language=="it")
7 7  * Professore Ordinario dell'[[Alma Mater Studiorum—Università di Bologna>>http://www.unibo.it]] (UNIBO)
8 8  * Vice-presidente di Sede della Scuola di Ingegneria, Cesena
9 9  * Coordinatore del [[Corso di Laurea Magistrale in Ingegneria e scienze informatiche>>https://corsi.unibo.it/magistrale/IngegneriaScienzeInformatiche]]
... ... @@ -20,7 +20,7 @@
20 20  #end
21 21  )))
22 22  
23 -== {{stringEngIta eng="Teaching" ita="Didattica"/}} ==
23 +== #stringEnIt("Teaching","Didattica") ==
24 24  
25 25  * Academic year 2019/2020 courses:
26 26  ** [[Paradigmi di Programmazione e Sviluppo>>http://apice.unibo.it/xwiki/bin/view/Courses/PPS1920?language=it]]
... ... @@ -34,7 +34,7 @@
34 34  * 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]]
35 35  * 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.
36 36  
37 -== {{stringEngIta eng="Research" ita="Ricerca"/}} ==
37 +== #stringEnIt("Research","Ricerca") ==
38 38  
39 39  * **Main interests**:
40 40  ** Topics: computational models and languages, and their relationship with software design, infrastructures and system analysis
... ... @@ -44,15 +44,15 @@
44 44  ** [[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
45 45  * **Projects**:
46 46  ** Current: Compositionality, Interaction, Negoziation, Autonomicity for the future ICT society, PRIN 2010-2011, Role: UNIBO member
47 -** Past: [[SAPERE>>SAPERE]], Self-aware Pervasive Service Ecosystems (FP7 STREP), 2010-2013, Role: UNIBO team leader, WP leader
48 -** Past: [[EOS>>Projects.EOS]], [[EOS-DUE>>Projects.EOS-DUE]]
47 +** Past: [[SAPERE>>http://apice.unibo.it/xwiki/bin/view/SAPERE/]], Self-aware Pervasive Service Ecosystems (FP7 STREP), 2010-2013, Role: UNIBO team leader, WP leader
48 +** Past: [[EOS>>http://apice.unibo.it/xwiki/bin/view/Projects/EOS]], [[EOS-DUE>>http://apice.unibo.it/xwiki/bin/view/Projects/EOS-DUE]]
49 49  * **Publications**
50 -** [[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]]
50 +** [[Publication Log>>${userSpace}.PublicationsPerSort||queryString='from=$firstYearPub&to=$lastYearPub']], [[Journal Papers>>${userSpace}.PublicationsPerSort||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]]
51 51  * **Organization of Events/Publications**
52 52  ** I edited the following special issues: [[KER 26(1)>>Publications.IntroKer25Years]], [[SCP 76(1)>>Publications.PrefaceScp76]], [[ENTCS 194(4)>>Publications.IntroENTCS194]], [[ENTCS 175(2)>>Publications.IntroENTCS175]], [[SCP 66(3)>>Publications.PrefaceScp66]], [[JOT 6(2)>>Publications.IntroJOT6]], [[ENTCS 154(1)>>Publications.IntroENTCS154]], [[JOT 3(11)>>Publications.IntroJOT3]], [[AAECC 16(2-3)>>Publications.OverviewAaecc16]]
53 53  ** 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.
54 54  
55 -== {{stringEngIta eng="Theses" ita="Tesi"/}} ==
55 +== #stringEnIt("Thesis","Tesi") ==
56 56  
57 57  * 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:
58 58  ** Systems development with advanced tools/techniques for Software Engineering