Aggiornata biblio.

Fixati alcuni typo. Aggiunti MSc students.
miculan · Nov 8, 2023 · 119a84a · 119a84a
1 parent 535107f
commit 119a84a
Show file tree

Hide file tree

Showing 7 changed files with 45 additions and 17 deletions.
diff --git a/_bibliography/papers.bib b/_bibliography/papers.bib
@@ -323,8 +323,8 @@ @inproceedings{mv:secrypt21
   arxiv = "https://arxiv.org/abs/2012.03141",
   html = {https://doi.org/10.5220/0010549601850197},
   doi = {10.5220/0010549601850197},
-  note = "Best Paper Award.",
-  award = "Best Paper."
+  note = "Best Paper Award",
+  award = "Best Paper"
 }
 
 @inproceedings{DBLP:conf/gg/ChiapperiniMP20,
@@ -462,10 +462,10 @@ @inproceedings{mp:ictcs17
 Year = 2017
 }
 
-@article{miculan2017reductions,
+@preprint{miculan2017reductions,
   title={Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation},
   author={Miculan, Marino and Peressotti, Marco},
-  journal={arXiv preprint arXiv:1704.07181},
+  html        = {http://arxiv.org/abs/1704.07181},
   year={2017}
 }
 
@@ -934,12 +934,12 @@ @techreport{gm:tr06
 Title = {Directed bigraphs: theory and applications},
 Year = 2006}
 
-@phdthesis{mik:eltop,
+@thesis{mik:eltop,
 Address = {Italy},
 Author = {Marino Miculan},
 Number = {TD-7/97},
 Pdf = {thesis.pdf},
-School = {Dipartimento di Informatica, Universit{\`a} di Pisa},
+School = {Dipartimento di Informatica, Università di Pisa},
 Title = {Encoding Logical Theories of Programs},
 Year = 1997}
 
@@ -961,7 +961,10 @@ @inproceedings{mu:sofsem11
 Publisher = {OKAT},
 Title = {Formal analysis of {Facebook Connect} Single Sign-On authentication protocol},
 Web = {fbconnect.zip},
-Year = 2011}
+Year = 2011,
+  note = "Best Poster Award",
+  award = "Best Poster"
+}
 
 @inproceedings{miculan:icalp99,
 Address = {Praha},

diff --git a/_news/2023/castelnovo-phd.md b/_news/2023/castelnovo-phd.md
@@ -6,7 +6,7 @@ inline: false
 ---
 <div style="display: flex; flex-wrap: wrap;">
     <div style="max-width: 570px; min-width: 300px;"> 
-Today, Davide Castelnovo has successfully defended his PhD thesis, titled <em>Fuzzy algebraic theories and 𝓜,𝓝-adhesive categories</em>, in front of the Commission composed by professors Paweł Sobocinski, Stefan Milius and Giovanna D'Agostino. 
+Today, Davide Castelnovo has successfully defended his PhD thesis, titled <em>Fuzzy algebraic theories and 𝓜,𝓝-adhesive categories</em>, in front of the Commission composed by professors Paweł Sobociński, Stefan Milius and Giovanna D'Agostino. 
 <br/>
 So now Davide is PhD in Computer Science. Congratulations!  
     </div>

diff --git a/_news/2023/tcs-mnadh.md b/_news/2023/tcs-mnadh.md
@@ -4,4 +4,4 @@ title: TCS paper about 𝓜,𝓝-adhesivity
 date: 2023-10-31
 inline: true
 ---
-Our paper *A simple criterion for 𝓜,𝓝-adhesivity* has been accepted for publication on [Theoretical Computer Science](https://www.sciencedirect.com/journal/theoretical-computer-science). It can be [downloaded for free here](https://authors.elsevier.com/c/1i2QM15DaIEh7l) until December 26, 2023. Spooky Halloween! 👻🎃🧛
+Our paper *A simple criterion for 𝓜,𝓝-adhesivity* has been published on [Theoretical Computer Science](https://www.sciencedirect.com/journal/theoretical-computer-science). It can be [downloaded here](https://authors.elsevier.com/c/1i2QM15DaIEh7l) for free until December 26, 2023. Spooky Halloween! 👻🎃🧛
diff --git a/_pages/group.md b/_pages/group.md
@@ -8,16 +8,19 @@ nav_order: 25
 ---
 ### Current group
 - Pietro Di Gianantonio (Associate Professor)
-- Matteo Paier (PhD student of the [National PhD in Cybersecurity](https://cysec2022.imtlucca.it/), Cycle XXXVIII, 2022-2025)
-- Vincenzo Riccio (Tenure-track Assistant Professor (RTD-B))
 - Ivan Scagnetto (Assistant Professor)
+- Vincenzo Riccio (Tenure-track Assistant Professor (RTD-B))
+- Matteo Paier (PhD student of the [National PhD in Cybersecurity](https://cysec2022.imtlucca.it/), Cycle XXXVIII, 2022-2025)
 - Michele Lizzit (PhD student of the Computer Science and Artificial Intelligence PhD, Cycle XXXIX, 2023-2026)
 - Davide Castelnovo (Postdoc fellow at University of Padua, but still)
 
+(but see also the many [MSc students](/teaching#current-msc-students) I am honored to supervise.)
+
+
 ### Past PhD students and research fellows
 - Claude Stolze (research fellow, oct 2020-sep 2022)
 - [Michele Pasqua](https://michelepasqua.github.io/) (research fellow, oct 2020-sep 2021)
-- [Marco Peressotti](https://marcoperessotti.com) (PhD student, Cycle XXVIII, 2013-2016). Thesis title: *Coalgebraic semantics of self-referential behaviours*
-- [Giorgio Bacci](http://people.cs.aau.dk/~grbacci/) (PhD student, Cycle XXIV 2009-2012). Thesis title: *Generalized labelled Markov processes, coalgebraically*
+- [Marco Peressotti](https://marcoperessotti.com) (PhD student, Cycle XXVIII, 2013-2016).
+- [Giorgio Bacci](http://people.cs.aau.dk/~grbacci/) (PhD student, Cycle XXIV 2009-2012).
 - Carlo Maiero (research fellow, oct 2010-sep 2011)
-- [Davide Grohmann](http://dk.linkedin.com/pub/davide-grohmann/38/b3a/535) (PhD student, Cycle XXIII, 2007-2009). Thesis title: *Multi-graph Structures as Frameworks for Distributed and Concurrent Systems*
+- [Davide Grohmann](http://dk.linkedin.com/pub/davide-grohmann/38/b3a/535) (PhD student, Cycle XXIII, 2007-2009).
diff --git a/_pages/research.md b/_pages/research.md
@@ -6,7 +6,7 @@ description: My research statement and mission.
 nav: true
 nav_order: 21
 ---
-TL;DR: I work on 
+TL;DR: I work or have worked on 
 - Formal methods for Concurrent and Distributed Systems
     - process calculi (CCS, π-calculus, et similia)
     - bigraphs and bigraphic reactive systems
@@ -39,5 +39,3 @@ Within this framework, my objectives are two-fold. First, I aim to elevate syste
 Ultimately, my goal is to foster innovation, pushing the boundaries of distributed programming, analysis, and security methodologies. By blending the power of formal methods, advanced programming techniques, and a solid mathematical and security-driven foundation, I aspire to not only enhance concurrent systems but also pave the way for a safer and more efficient digital future.
 
 (Yes, the text above has been generated by some AI 😅.)
-
-
diff --git a/_pages/scrap.md b/_pages/scrap.md
@@ -0,0 +1,9 @@
+
+It is difficult to resume 30 years of research in a single page. But if I had to resume in few words, I would say this:
+
+I like machines in general, and computer in particular. Because they are stupid. 
+Compared to the complexity of other subjects, especially humans, they are simple. 
+Biological systems, especially humans, are the result of a random-based selection-driven evolution. They are not the result of a rational, planned design.
+Instead, systems and computers are designed by humans. And this is an advantage we must be aware of and not give up. Because if we design them, we are in a position to understand, control and determine their behavior. The converse is not true. Never will be.
+
+From this point, my research follows.
diff --git a/_pages/teaching.md b/_pages/teaching.md
@@ -22,6 +22,21 @@ Currently I am the coordinator of the [Cybersecurity](https://www.dmif.uniud.it/
 
 See [below](#past-phd-students) for past students.
 
+## Current MSc students
+- Luca Campa (MSc student, AI&Cybersecurity)
+- Mattia Pizzolitto (MSc student)
+- Massimiliano Gregoretti (MSc student, AI&Cybersecurity)
+- Valeria Vicard (MSc student, AI&Cybersecurity)
+- Enrico Talotti (MSc student, Mathematics)
+- Ruggero Franz (MSc student, AI&Cybersecurity)
+- Elia Cal (MSc student, AI&Cybersecurity)
+- Filippo Merlo (MSc student, AI&Cybersecurity)
+- Gianluca Zavan (MSc student, AI&Cybersecurity)
+- Roberto Van Eeden (MSc student, Computer Science)
+
+See [below](#past-undergraduate-students) for some past students.
+
+
 ## Past courses
 In BSc courses
 - *Reti di Calcolatori e Sicurezza* at the "Laurea in Informatica", Faculty of Sciences (2005/06 - 2009/10)