MARIO VERDICCHIO

Ricercatore universitario

email: mario.verdicchio@unibg.it




Mario Verdicchio

Nato a Milano, Italia, il 23 dicembre 1975. Cittadinanza italiana.
Università degli Studi di Bergamo, Dipartimento di Ingegneria Gestionale, dell’Informazione e della Produzione
Via Marconi 5 20044 Dalmine (BG)

Titoli di studio
Dottorato di ricerca in ingegneria dell’informazione, Politecnico di Milano
Tesi: “A Formal Model for Agent Communication Languages” (2004)
Laurea in ingegneria informatica (summa cum laude), Politecnico di Milano
Tesi: “E-commerce technologies for Web-based Supply Chain Management” (2000)

Lingue straniere
Inglese (fluente sia scritto sia parlato)
Giapponese (fluent parlato, buono scritto)
Tedesco (buono sia scritto sia parlato)
Francesce (discreto sia scritto sia parlato)
Spagnolo (discreto sia scritto sia parlato)

Temi di ricerca: Intelligenza artificiale, Arte informatica, Etica e filosofia dell’informatica

Attività di ricerca
Ricercatore MIUR
Università degli Studi di Bergamo (2005 - ora)
Assegnista di ricerca
Progetto Anemone (cofinanziato dal MIUR 2003/04), Politecnico di Milano (2004 - 2005)
Dottorato di ricerca (Ingegneria dell’informazione, 16° ciclo) Politecnico di Milano

Progetti di ricerca
“In search for feasible technological support of people in rural India” (2018)
Global Challenges Research Fund: 2,300£
“PoSecCo” - Policy and Security Configuration Management (2010 - 2013)
EU 7th Framework Programme project on future Internet services
Total EU funding: 11,919,812€ (consortium), 888,100€ (University of Bergamo)
“PrimeLife” - Privacy and Identity Management in Europe for Life (2008 - 2011)
EU 7th Framework Programme project on sustainable digital identity
Total EU funding: 10,200,000€ (consortium), 554,100€ (University of Bergamo)
“GateCom” - Gateway-based architecture for content-centric community networking (2011 - 2013)
MIUR (Ministry of University and Research) project on network-based content sharing
“Anemone” - A Network of Multi-Agent Platforms for Academic Communities (2003 - 2004)
MIUR project on agent-based cooperative systems for academic communities

Attività didattica
Docente, Lettere, Filosofia e Comunicazione, Università degli Studi di Bergamo
Teorie e tecniche della progettazione Web (6 crediti, 2019 - ora)
Docente, Lingue, Letterature e Culture Straniere, Università degli Studi di Bergamo
Informatica per le Digital Humanities (5 crediti, 2020 - ora)
Mapping e Big Data (6 crediti, 2019 - 2021)
Sistemi Web per il turismo (5 crediti, 2013 - 2017)
Informatica per la comunicazione (5 crediti, 2012 - 2017)
Informatica per le discipline umanistiche 2 (5 crediti, 2011 - 2012)
Docente, School of Media, Culture and Society, University of the West of Scotland
Cross-media Collaborative Project (10 crediti, 2017-2018)
Digital Media Practice A (10 crediti, 2017-2018)
Digital Media Practice B (10 crediti, 2017-2018)
Docente, Scuola di Ingegneria, Università degli Studi di Bergamo
Intelligenza Artificiale (6 crediti, 2020 - ora)
Informatica teorica (6 crediti, 2005 - 2017)
Informatica (6 crediti, 2009 - 2017)
Sistemi operativi (6 crediti, 2005 - 2008)
Progetto d’informatica 3 (5 crediti, 2004 - 2005)
Esercitatore, Scuola di Ingegneria, Università degli Studi di Bergamo
Informatica 1 (2007 - 2008)
Informatica 3 (2007 - 2008)
Progetto d’informatica 3 (2005 - 2007)
Docente, Politecnico di Milano
Informatica (10 crediti, Faculty I, 2004 - 2007)
Informatica 2 (6 crediti, Faculty V, 2004 - 2005)
Esercitatore, Politecnico di Milano
Artificial Intelligence (Prof. Colombetti, Faculty V, 2003 - 2017)
Informatica 2 (Prof. Baresi, Faculty V, 2001 - 2004)

Lezioni su invito
“Ethics + AI != Ethical AI. The Additivity Fallacy” (2021, con D. Johnson)
Univesität Wien, Austria
“How (not) to think about our technological future” (2021)
Bauhaus-Universität Weimar, Germany
“Doing it with Humanoid Robots” (2020)
Shenkar College of Engineering and Design, Ramat Gan, Israel
“The Art in Digital Art” (2020)
Università di Pisa, Italia
“The Digital in Digital Art”
Kunstuniversität, Graz, Austria (2019)
University of Lisbon, Portugal (2018)
University of Porto, Portugal (2018)
“Can digital technology help anthropology, geography and sociology?” (2018)
King’s College, London, UK
“The black box inside the black box: The problem with deep learning” (2018)
Politecnico di Milano, Italy
“Artificial Personhood or What makes an artifact a person” (2017)
University of Virginia, Charlottesville, USA
“The story of Maeve in Westworld and the concept of personhood” (2017)
Chukyo University, Nagoya, Japan

Ricercatore in visita e scuole estive
Technische Universität Berlin, Berlin, Germany (2019 - present)
Institut für Werkzeugmschinen und Fabrikbetrieb
Ricerca sull’epistemologia dell’intelligenza artificiale con la Prof. Sabine Ammon
University of Virginia, Charlottesville, USA (2016 - ora)
Science, Technology & Society, Department of Engineering & Society
Ricerca sull’etica delle nuove tecnologie con la Prof. Deborah G. Johnson
School of Machines, Making and Make-Believe, Berlin (2018)
“Reality?” – Arte, Technologia e Augmented Reality
School of Machines, Making and Make-Believe, Berlin (2014)
“Let’s Get Physical!” – Physical Computing, Arduino, 3D Printing e Laser Cutting
IBM Zurich Research Laboratory, Zurich (2008 - 2010)
per il progetto EU FP7 “PrimeLife”
Department of Computing, Imperial College, London (2002)
per il programma British 2001/2002 (collaborazione Inghilterra-Italia per la ricerca e l’educazione superiore)
The Thirteenth European Summer School in Logic Language and Information (ESSLLI), Helsinki (2001)
The Third European Agent Systems Summer School (EASSS), Prague (2001)

Attività di conferenze
Cofondatore di the International Conference on Computation, Communication, Aesthetics and X (xCoAx)
The 8th International Conference on Computation, Communication, Aesthetics and X (xCoAx 2020, online) – Organizzatore
Digital Humanities and Immersive Technologies: Ethical Issues (31 ottobre 2019, Bergamo) – Chair
The 5th International Conference on the History and Philosophy of Computing (HaPoC 2019, Bergamo) – Chair
The 7th International Conference on Computation, Communication, Aesthetics and X (xCoAx 2019, Milano) – Chair
Aesthetic Glitches, Enhanced Performances (Centre for Contemporary Arts, Glasgow, 2019) – Moderatore
The 6th International Conference on Computation, Communication, Aesthetics and X (xCoAx 2018, Madrid) – Organizzatore
The 5th International Conference on Computation, Communication, Aesthetics and X (xCoAx 2017, Lisbon) – Organizzatore
The 4th International Conference on Computation, Communication, Aesthetics and X (xCoAx 2016, Bergamo) – Chair
The 3rd International Conference on Computation, Communication, Aesthetics and X (xCoAx 2015, Glasgow) – Organizzatore
The 2nd International Conference on Computation, Communication, Aesthetics and X (xCoAx 2014, Porto) – Organizzatore
The 1st International Conference on Computation, Communication, Aesthetics and X (xCoAx 2013, Bergamo) - Chair

Comunicazioni a conferenze
D. Johnson, M. Verdicchio
“Ethics + AI != Ethical AI. The Additivity Fallacy”
Embedding AI in Society Symposium, online (2021)
M. Verdicchio
“The Wilderness Downtown: Net Art in the 21st Century”
Annual Meeting of the Society for the History of Technology 2019, Milano (2019)
M. Verdicchio
“When immersive technology becomes emotive technology”
Global Fusion 2018, Charlottesville (2018)
M. Verdicchio
“The Freedom (or lack thereof) of Computer Art”
4th International Conference on the History and Philosophy of Computing (HaPoC 2017), Brno (2017)
D. Johnson, M. Verdicchio
“Why Robots Should Not Be Treated Like Animals”
Ethics of Technology: The Future agenda, 10 Years of 4TU.Ethics, Enschede (2017)
D. Johnson, M. Verdicchio
“The Agency of Software: The Volkswagen Emission Fraud Case”
CEPE/ETHICOMP 2017, Turin (2017)
M. Verdicchio
“Can Computing in Art Renew the Debate on Art?”
2nd International Conference on the History and Philosophy of Computing (HaPoC 2013), Paris (2013)
M. Verdicchio
“Aesthetic Issues and Computers: Then and Today”
18th International Conference of the Society for Philosophy and Technology (SPT 2013), Lisbon (2013)

Pubblicazioni

Riviste
D. Johnson, M. Verdicchio “Constructing the meaning of humanoid sex robots” International Journal of Social Robotics 12: 415-424 (2020)
D. Johnson, M. Verdicchio “AI, agency and responsibility: the VW fraud case and beyond” AI & Society, 34(3): 639-647 (2019)
M. Verdicchio “The digital in digital art” Studi di Estetica, anno XLVI, IV serie, 3/2018: 31-57 (2018)
D. Johnson, M. Verdicchio “Why robots should not be treated like animals” Ethics and Information Technology, 20(4): 291-301 (2018)
M. Verdicchio “Saremo padroni o schiavi dell’informatica del futuro?” Mondo Digitale 72, 26 p., (2017)
D. Johnson, M. Verdicchio “Reframing AI Discourse” Minds and Machines 27(4): 575-590 (2017)
D. Johnson, M. Verdicchio “AI Anxiety” Journal of the Association for Information Science and Technology 68: 2267-2270 (2017)
V. Schiaffonati, M. Verdicchio “Rethinking Experiments in a Socio-Technical Perspective: The Case of Software Engineering” Philosophies, 1(1):87-101 (2015)
M. Verdicchio “Informatica e arte: contradizione, rivoluzione, evoluzione” Mondo Digitale, 57:1-20 (2015)
V. Schiaffonati, M. Verdicchio “Computing and Experiments” Philosophy & Technology 27(3): 359-376 (2014) ISSN: 2210-5441
C. A. Ardagna, S. De Capitani di Vimercati, S. Paraboschi, E. Pedrini, P. Samarati, M. Verdicchio “Expressive and Deployable Access Control in Open Web Service Applications”
IEEE Transactions on Services Computing, 4(2): 96-109 (2011) ISSN: 1939-1374
C.A. Ardagna, J. Camenisch, M. Kohlweiss, R. Leened, G. Neven, B. Priem, P. Samarati, D. Sommer, M. Verdicchio
“Exploiting cryptography for privacy-enhanced access control: A result of the PRIME Project”
 Journal of Computer Security, 18(1): 123-160 (2010) ISSN: 0926-227X
M. Verdicchio, M. Colombetti
 “Communication Languages for Multiagent Systems” Computational Intelligence, 25(2): 136-159 (2009) ISSN: 0364-0213
N. Fornara, F. Viganò, M. Verdicchio, M. Colombetti “Artificial institutions: a model of institutional reality for open multiagent systems”
Artificial Intelligence and Law, 16(1): 89-105 (2008) ISSN: 0924-8463
M. Colombetti, N. Fornara, M. Verdicchio
 “Linguaggio e realtà sociale nei sistemi di agenti artificiali”
 Networks: a journal of the philosophy of artificial intelligence and cognitive sciences, 3(1): p.20 (2003) ISSN: 1126-4780
M. Verdicchio, M. Colombetti
 “Commitments for Agent-Based Supply Chain Management” ACM SIGecom Exchanges, 3(1): p.11 (2002) EISSN: 1551-9031

Curatele di riviste
A. Rangel, L. Ribas, M. Verdicchio, M. Carvalhais “CITAR Journal, Volume 12, No. 3–Special Issue: xCoAx 2020” JSTA: Journal of Science and Technology of the Arts 12(3): 5-7 (2020)
A. Rangel, M. Carvalhais, L. Ribas, M. Verdicchio “CITAR Journal, Volume 11, No. 2–Special Issue: xCoAx 2019” CITAR: Journal of Science and Technology of the Arts 11(2): 1-2 (2019)
A. Rangel, L. Ribas, M. Verdicchio, M. Carvalhais “CITAR Journal, Volume 10, No. 3–Special Issue: xCoAx 2018” CITAR: Journal of Science and Technology of the Arts 10(3): 1-2 (2018)
L. Ribas, A. Rangel, M. Verdicchio, M. Carvalhais “CITAR Journal, Volume 9, No. 3–Special Issue: xCoAx 2017” CITAR: Journal of Science and Technology of the Arts 9(3): 1-2 (2017)
A. Clifford, A. Rangel, M. Verdicchio, M. Carvalhais “CITAR Journal, Volume 8, No. 1–Special Issue: xCoAx 2016” Journal of Science and Technology of the Arts 8(1): 1-2 (2016)
A. Clifford, A. Rangel, M. Verdicchio “CITAR Journal, Volume 7, No. 1 –Special Issue: xCoAx 2015” Journal of Science and Technology of the Arts 7(1): 1-1 (2015)
M. Carvalhais, A. Rangel, M. Verdicchio “CITAR Journal, Volume 6, No. 1 –Special Issue: xCoAx 2014” Journal of Science and Technology of the Arts 6(1): 1-2 (2014)

Libri
M. Verdicchio “L’informatica per la comunicazione [Computer Science for Communication Studies]”, Second edition
Ed. Franco Angeli, Milano, pp. 266 (2016) ISBN: 978-889-174-437-1

Curatele di libri
M. Verdicchio, M. Carvalhais, L. Ribas, A. Rangel
“xCoAx 2020: Proceedings of the Eighth Conference on Computation, Communication, Aesthetics & X”
Universidade do Porto, Porto, pp. 478 (2020) ISBN: 978-989-746-266-5
M. Verdicchio, M. Carvalhais, L. Ribas, A. Rangel
“xCoAx 2019: Proceedings of the Seventh Conference on Computation, Communication, Aesthetics & X”
Universidade do Porto, Porto, pp. 382 (2019) ISBN: 978-989-746-220-7
A. Rangel, L. Ribas, M. Verdicchio, M. Carvalhais
“xCoAx 2018: Proceedings of the Sixth Conference on Computation, Communication, Aesthetics & X”
Universidade do Porto, Porto, pp. 267 (2018) ISBN: 978-989-746-171-2
L. Ribas, A. Rangel, M. Verdicchio, M. Carvalhais
“xCoAx 2017: Proceedings of the Fifth Conference on Computation, Communication, Aesthetics & X”
Universidade do Porto, Porto, pp. 389 (2017) ISBN: 978-989-746-128-6
M. Verdicchio, A. Clifford, A. Rangel, M. Carvalhais
“xCoAx 2016: Proceedings of the Fourth Conference on Computation, Communication, Aesthetics & X”
Universidade do Porto, Porto, pp. 412 (2016) ISBN: 978-989-746-094-4
A. Clifford, M. Verdicchio, M. Carvalhais
“xCoAx 2015: Proceedings of the Third Conference on Computation, Communication, Aesthetics & X”
Universidade do Porto, Porto, pp. 403 (2015) ISBN: 978-989-746-066-1
M. Verdicchio, M. Carvalhais
“xCoAx 2014: Proceedings of the Second Conference on Computation, Communication, Aesthetics & X”
Universidade do Porto, Porto, pp. 561 (2014) ISBN: 978-989-746-036-4
M. Verdicchio, M. Carvalhais
“xCoAx 2013: Proceedings of the First Conference on Computation, Communication, Aesthetics & X”
Universidade do Porto, Porto, pp. 354 (2013) ISBN: 978-989-746-017-3

Capitoli di libri
M. Verdicchio “Famous ‘intelligent’ computers” In L. De Miranda (ed.), 30-Second AI & Robotics, 36-37, Ivy Press (2019)
M. Verdicchio “Art & AI” In L. De Miranda (ed.), 30-Second AI & Robotics, 48-49, Ivy Press (2019)
V. Schiaffonati, M. Verdicchio “What do bridges and software tell us about the philosophy of engineering?” In C. Mitcham, B. Li, B. Newberry, and B. Zhang (eds.), Philosophy of Engineering, East and West Boston Studies in the Philosophy and History of Science vol. 330, 137-148, Springer International Publishing AG (2018) ISBN 978-3-319-62448-8
M. Verdicchio “The Past and the Future of Computer Science and Art” In U. Persi, A. V. Polonsky (eds.), The Artistic Text: Cultural Tradition and Multimedial Reality, 34-52,
Belgorod Publishing House (2017)
M. Verdicchio “An analysis of machine ethics from the perspective of autonomy” In T. Powers (ed.), Philosophy and Computing: Essays in Epistemology, Philosophy of Mind, Logic, and Ethics Philosophical Studies vol. 128, 179-191, Springer International Publishing AG (2017) ISBN 978-3-319-61042-9
M. Verdicchio “The role of computers in visual art” In F. Gadducci and M. Tavosanis (eds.), History and Philosophy of Computing: Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers IFIP Advances in Information and Communication Technology vol. 487, 287-299, Springer International Publishing AG (2015) ISBN 978-3-319-47285-0
V. Schiaffonati, M. Verdicchio “The Influence of Engineering Theory and Practice on Philosophy of Artificial Intelligence” In V.C. Müller (ed.), Philosophy and Theory of Artificial Intelligence, 375-388, Springer (2013) ISBN 978-3-642-31673-9
C. A. Ardagna, S. De Capitani di Vimercati, G. Neven, S. Paraboschi, E. Pedrini, F. S. Preiss, P. Samarati, M. Verdicchio, “Advances in Access Control Policies” In J. Camenisch, S. Fischer-Huebner, K. Rannenberg (a cura di), Privacy and Identity Management for Life, 327-341, Springer (2011) ISBN 978-3-642-20316-9
M. Colombetti, N. Fornara, M. Verdicchio “Speech Acts in Artificial Agent Communication” Linguistica e Nuove Professioni, 70-92, Franco Angeli (2003) ISBN 9788846450104

Atti di conferenze
T. Kawamoto, N. Liberati, M. Verdicchio “Perceptual 3D Vision with Video Byobu”
in S. Richir (ed.), VRIC 2018: Proceedings of the Virtual Reality International Conference - Laval Virtual, 28:1-28:4, Laval, France (2018)
M. Verdicchio, V. Paris “Random Sculptures” in L. Ribas, A. Rangel, M. Verdicchio, M. Carvalhais (eds.), xCoAx 2017: Proceedings of the Fifth Conference on Computation, Communication, Aesthetics & X, 302-305, Universidade do Porto (2017)
M. Verdicchio “Glitcher” in M. Verdicchio, M. Carvalhais (eds.), xCoAx 2014: Proceedings of the Second Conference on Computation, Communication, Aesthetics & X, 487-489,
Universidade do Porto (2014)
J.Bach, M. Verdicchio “What Kind of Machine is the Mind?” Turing 100, A. Voronkov (ed.), 16-19, EpiC (2012)
Patrik Bichsel, Jan Camenisch, Mario Verdicchio “Recognizing Your Digital Friends” Proceedings of SocialCom/PASSAT 2011, 1310-1313, IEEE Computer Society (2011) ISBN: 978-1-4577-1931-8
G. Singh, M. Arrigoni Neri, M.Verdicchio “A Web-based Survey to Evaluate the Aesthetic Impact of the Golden Ratio”
 Proceedings of the 14th Generative Art International Conference, 207-217, Argenia (2011) ISBN: 978-88-9610-145
C.A. Ardagna, S. De Capitani di Vimercati, G. Neven, S. Paraboschi, F.S. Preiss, P. Samarati, M.Verdicchio “Enabling Privacy-preserving Credential-based Access Control with XACML and SAML”
 Proceedings of the 10th International Conference on Computer and Information Technology (CIT 2010), 1090-1095, IEEE Computer Society (2010)
C.A. Ardagna, S. De Capitani di Vimercati, S. Foresti, G. Neven, S. Paraboschi, F.S. Preiss, P. Samarati, M.Verdicchio “Fine-Grained Disclosure of Access Policies”

Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010), Lecture Notes in Computer Science 6476: 16-30, Springer (2010)
ISBN: 3-642-17649-6 978-3-642-17649-4
M.Verdicchio “Generative vs Non-Generative Art in the Verification of the Institutional Stance”
Proceedings of the 13th Generative Art International Conference, 313-318, Argenia (2010) ISBN: 978-88-96610-06-0
E. Lorini, M.Verdicchio “Towards a Logical Model of Social Agreement for Agent Societies”

Coordination, Organizations, Institutions and Norms in Agent Systems V, Lecture Notes in Computer Science 6069: 147-162,
Springer (2009) ISBN: 3-642-14961-8 978-3-642-14961-0
P. Bichsel, S. Müller, F.S. Preiss, D. Sommer, M.Verdicchio “Security and Trust through Electronic Social Network-based Interactions”
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering (CSE '09), 1002-1007, IEEE Computer Society (2009) ISBN: 978-0-7695-3823-5
P. Spoletini, M.Verdicchio
 “An Automata-based Monitoring Technique for Commitment-based Multi-Agent Systems”
Coordination, Organizations, Institutions and Norms in Agent Systems IV, Lecture Notes in Computer Science 5428: 172-187, Springer (2009) ISBN: 978-3-642-00442-1
M. Celesti, M.Verdicchio “Painting with Outliners and Fillers”
Proceedings of the 12th Generative Art International Conference, 339-343, Argenia (2009) ISBN: 978-8-896-61000-8
P. Spoletini, M.Verdicchio “Commitment Monitoring in a Multiagent System” Multi-Agent Systems and Applications V, Proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2007) ,
Lecture Notes in Computer Science 4696: 83-92, Springer (2007)
M.Verdicchio, M. Colombetti
 “From Message Exchanges to Communicative Acts to Commitments”

Proceedings of the 3rd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005),
Electronic Notes in Theoretical Computer Science 157(4): 75-94, Elsevier (2006) ISSN: 1571-0661
G.Armano, P.Baroni, G.Cherchi, M.Colombetti, A.Gerevini, M.Mari, A.Poggi, C.Santoro, E.Tramontana, M.Verdicchio “ANEMONE – A Network of Multi-Agent Platforms for Academic Communities”
 Proceedings of WOA 2005: 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems,120-126, Pitagora Editrice (2005)
M.Verdicchio, M. Colombetti
 “A commitment-based communicative act library”
 Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 755-761, ACM Press (2005) ISBN:1-59593-093-0
M.Verdicchio, M. Colombetti
 “A commitment-based communicative act library (Extended abstract)”
 Proceedings of the 3rd European Workshop on Multi-Agent Systems (EUMAS 2005), 511-512 (2005)
M.Verdicchio, M. Colombetti
 “Temporal Expressions for Content Languages”
 Proceedings of the 2nd European Workshop on Multi-Agent Systems (EUMAS 2004), 749-758 (2004)
M.Verdicchio, M. Colombetti
 “Dealing with Time in Content Language Expressions” Developments in Agent Communication: Proceedings of AAMAS 2004 Workshop on Agent Communication, Lecture Notes in Artificial Intelligence 3396: 99-114, Springer (2004)
M. Verdicchio, P. San Pietro
 “Model Checking-Aided Design of Secure Distributed Systems”
 Proceedings of the IASTED International Conference on Software Engineering (SE 2004), p.6, ACTA Press (2004)
M. Colombetti, N. Fornara, M. Verdicchio “A Social Approach to Communication in Multiagent Systems” Declarative Agent Languages and Technologies, First International Workshop (DALT 2003) Lecture Notes in Computer Science 2990: 191-220, Springer (2004)
M. Verdicchio, M. Colombetti
 “A Logical Model of Social Commitment for Agent Communication”
 Advances in Agent Communication, Lecture Notes in Artificial Intelligence 2922: 128-145, Springer (2004), extends (*)
M. Verdicchio, M. Colombetti “A Model of Artificial Institutions for Agent Communication”

Proceedings of the 1st European Workshop on Multi-Agent Systems (EUMAS 2003), p.11 (2003), reprint of (**)
M. Verdicchio, M. Colombetti “A Logical Model of Social Commitment for Agent Communication”*

Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS ’03), 528-535, ACM Press (2003) ISBN:1-58113-683-8
M. Verdicchio, M. Colombetti “A Model of Artificial Institutions for Agent Communication”**

Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems (LCMAS ‘03), Electronic Notes in Theoretical Computer Science 85(2): p.11, Elsevier (2003)
M. Verdicchio, P. San Pietro, “Model Checking the Secure Electronic Transaction Protocol”

Proceedings of the Conference on Design, Analysis, and Simulation of Distributed Systems 2003 (DASD 03), 165-171 (2003)
M. Colombetti, N. Fornara, M. Verdicchio “The Role of Institutions in Multiagent Systems”
 Proceedings of the UK Workshop on Multiagent Systems (UKMAS-2002), p.11 (2002)
M. Colombetti, N. Fornara, M. Verdicchio “The Role of Institutions in Multiagent Systems”
 Atti dell’VIII Convegno dell'Associazione Italiana per l'Intelligenza Artificiale, p.11 (2002)
M. Colombetti, M. Verdicchio “An Analysis of Agent Speech Acts as Institutional Actions”
 Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS ’02), 1157-1164, ACM Press (2002) ISBN:1-58113-480-0

Recensioni
M. Verdicchio “Funzioni, Macchine, Algoritmi: Introduzione alla Teoria della Computabilità di M. Frixione e D. Palladino” Intelligenza Artificiale, Anno 1, N.4 (2004)

Rapporti tecnici
M. Verdicchio “Model Checking the Secure Electronic Transaction Protocol with SPIN”
 Rapporto interno, Politecnico di Milano – Dipartimento di elettronica e informazione (2002)
R. Brambilla, S. Mainetti, M. Verdicchio “Architetture e tecnologie per l’apertura dei sistemi informativi al mondo Internet” Sesto rapporto sul sistema finanziario italiano, vol. 1, 79-112, Fondazione Rosselli (2001)

Demo
T. Kawamoto, N. Liberati, M. Verdicchio “Perceptual 3D Vision with Video Byōbu” Laval Virtual 2018, Laval, France (2018)
T. Kawamoto, N. Liberati, M. Verdicchio “From Desktop Cave to Home Cave” Immersive Italy 2017, Lucca, Italy (2017)

Attività artistica
M. Verdicchio “Nothingness isn’t nothing” ACUD, Berlin, Germany (2018)
M. Verdicchio, V. Paris “Random Sculptures” Museo do Chiado, Lisbon, Portugal (2017)
M. Verdicchio “Strata & Struktur” (solo exhibition with 20 works) Galleria Svettini, Milano, Italy (2015)
M. Verdicchio, T. O’Reilly “SBRTTH” Künstlerhaus Bethanien, Berlin, Germany (2014)
M. Verdicchio “Oblivion” Künstlerhaus Bethanien, Berlin, Germany (2014)
M. Verdicchio “2.5” Künstlerhaus Bethanien, Berlin, Germany (2014)
M. Verdicchio “Glitcher” AXA Building, Porto, Portugal (2014)

Aggiornato al 28 maggio 2021.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma