Changes for page Mirko Viroli

From version 37.1
edited by Andrea Omicini
on 24/04/2023 14:01
Change comment: There is no comment for this version
To version 38.1
edited by Andrea Omicini
on 21/05/2023 01:32
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -20,7 +20,7 @@
20 20  #end
21 21  )))
22 22  
23 -== #stringEnIt("Teaching","Didattica") ==
23 +== {{stringEngIta eng="Teaching" ita="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 -== #stringEnIt("Research","Ricerca") ==
37 +== {{stringEngIta eng="Research" ita="Ricerca"/}} ==
38 38  
39 39  * **Main interests**:
40 40  ** Topics: computational models and languages, and their relationship with software design, infrastructures and system analysis
... ... @@ -52,7 +52,7 @@
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 -== #stringEnIt("Thesis","Tesi") ==
55 +== {{stringEngIta eng="Theses" ita="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