Persoonlijk profiel
Opleiding / Academische kwalificatie
Theoretical computer science, Doctor, Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes, University of Insubria
1 okt. 2014 → 30 sep. 2017
Datum van toekenning: 15 dec. 2017
Mathematics, Master, Rule Formats for Weak Equivalences, University of Insubria
2012 → 2014
Datum van toekenning: 23 jul. 2014
Mathematics, Bachelor, A Process Algebra for Multiscale Modeling of Biological Systems
2009 → 2012
Datum van toekenning: 27 sep. 2012
Externe posities
Postdoctoral research, Reykjavik University
15 mei 2019 → 30 sep. 2023
Postdoctoral researcher, INRIA Institut National de Recherche en Informatique et en Automatique
1 jan. 2018 → 30 apr. 2019
Vingerafdruk
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
-
Axiomatising weak bisimulation congruences over CCS with left merge and communication merge
Aceto, L., Castiglioni, V. (Corresponding author), Ingólfsdóttir, A. & Luttik, B., 3 sep. 2025, In: Theoretical Computer Science. 1047, 30 blz., 115325.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand28 Downloads (Pure) -
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations
Castiglioni, V. (Corresponding author), Lanotte, R., Loreti, M. & Tini, S., okt. 2025, In: International Journal on Software Tools for Technology Transfer. 27, 5, blz. 443-464 22 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand2 Link wordt geopend op een nieuw tabblad Citaten (Scopus)7 Downloads (Pure) -
From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases
Versteeg, R., Castiglioni, V. & Luttik, B., 18 aug. 2025, 36th International Conference on Concurrency Theory (CONCUR 2025). Bouyer, P. & van de Pol, J. (reds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 35:1-35:18 18 blz. 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 348).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand11 Downloads (Pure) -
Non finite axiomatisability of weak bisimulation-based congruences
Aceto, L., Castiglioni, V. (Corresponding author), Ingólfsdóttir, A. & Luttik, B., 3 nov. 2025, In: Theoretical Computer Science. 1054, 33 blz., 115453.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand59 Downloads (Pure) -
On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK
Betancourt, S. (Corresponderende auteur) & Castiglioni, V., 2 jun. 2025, Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings. Leuschel, M. & Ishikawa, F. (reds.). Cham: Springer, blz. 269-287 19 blz. (Lecture Notes in Computer Science (LNCS); vol. 15728).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand44 Downloads (Pure)
Cursussen
-
Logic and Set Theory
Luttik, S. P., Erkens, R., Bloo, R., de Vink, E. P., Castiglioni, V., Betancourt Arias, J. S., Roeloffzen, M. J. M., van Krieken, T. M. K. & Spronck, M. S. C. 1/09/12 → 31/08/26
Cursus
-
-
Knipsels
-
Research from Reykjavik University Provide New Insights into Computational Logic (Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?)
8/11/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar