Curriculum

Istruzione e Formazione

Tesi di Dottorato

Interessi di Ricerca

Esperienza Lavorativa

Curriculum

Education

2017 Associate Professor Qualification, Area 11/C2, Logic, History, and Philosophy of Science, Italian National Scientific Qualification.
2010 PhD in Philosophy, University of Cagliari, Cagliari, Italy, Grade: Excellent (A+).
2005 MA in Philosophy, Catholic University of Milan, Italy, Grade: 110/110.
1999 High School Liceo Scientifico "G. Spano", Sassari, Italy, Grade: 100/100.
 

PhD Thesis

Title MODEL VERIFICATION IN COMPUTER SCIENCE: SCIENTIFIC METHODOL- OGY, ABSTRACTION, AND IDEALIZATION
Supervisor prof. Guglielmo Tamburrini (Università di Napoli Federico II)
Abstract: This work provides an epistemological and methodological analysis of model checking to advance the thesis that the conjectural knowledge of computer programs and hardware systems which formal methods in Computer Science enable one to attain involves the deployment of methodologies which, in their essential traits, are on a par with traditional methodologies one utilizes in physics and other natural sciences for predictive and explanatory purposes. This examination will drawn upon reflective work carried out in the philosophy of science and it chiefly concerns the philosophy of models on one hand and distortive idealizations in scientific practice on the other. This work is divided into two parts, the first one dealing with the notion of theoretical models in empirical sciences and model checking, the second part examining the practice of idealization within empirical models and drawing some relative reflections on the issue of abstraction in model checking.
 
 

Research Interests

Philosophy of Computer Science; Philosophy of Computer Simulations; Philosophy of Cognitive Science; Computational Logic; Computer Ethics.
 

Career

2022 - Assistant Professor, Department of Cognitive Science, University of Messina, Italy.
2018–2021 - Teaching Fellow, Philosophy of Computer Science, Department of History, Human Science, and Education, University of Sassari, Italy.
2017–2018 - Teaching Fellow, Philosophy of Psychology, Department of biomedical sciences, University of Sassari, Italy.
2016–2017 -  Research Fellow, Department of History, Human Sciences, and Education, Univer- sity of Sassari, Italy.                           
2011–2015 - Teaching Assistant, Logic and Philosophy of Science, Department of History, Human Sciences, and Education, University of Sassari, Italy.
2011 - Visting Scholar, School of Computer Science and Electronic Engineering, Univeristy of Essex, UK.
2010–2012 - Research Fellow, Department of Theories and Researches of Cultural Systems, University of Sassari, Italy.
Academic Activities
Refereeing: Analysis; Synthese; Minds & Machines; Journal of Logic and Computation; Philosophy & Technology; Philosophical Studies; Foundations of Science; International Studies in the Philosophy of Science; Oxford Bibliographies; Techné: Research in Philosophy and Technology; Axiomathes; Humana.Mente; APhEx.
 
Editing: -Lead Guest Editor dello Special Issue ’Book Symposium on Foundation of Computation’, Axiomathes (Springer).

Research Groups:
• PROGRAMme, ANR project: What is a (computer) program? Historical and philosophical perspectives.
•  Logic and Formal Methods Research Group (λ F orM ). Department of Mathe- matics, School of Applied Mathematical and Physical Sciences, National Technical University of Athens.
•  Progetto Fondazione Sardegna "Verità e discorso valutativo" (2021-2023).
• Principal Investigator of the research project ”Formal Methods in Computer Science and Computational Model Development in Robotics and Natural Computing: Methodological, Epistemological and Applied Ethics Issues" funded by Regione Autonoma della Sardegna (2010-2012)
            Invited talks:
• PROGRAMme workshop, University of Lille, 14-15 June 2022, Lille, France. Talk: Computational theories – Representing the world through programs.
• Summer School On Computer Simulation Methods, at HLRS, University of Stuttgart, September 25-29, 2017, Stuttgart, Germany. Talk: Qualitative Models in Computational Systems Biology. Representation, confirmation, experimentation.
• 3th Séminaire Histoire et philosophie de l’informatique, February 23 2017, at IH- PST, Paris. Talk: From Simulative Programs as Theories to Theories of Simulative Programs.
• Workshop on Algebraic Modelling of Topological and Computational Structures. National Technical University of Athens; July 3, 2015, Athens, Greece. Talk: Syn- tactic and Semantic Presentations of Scientific Theories in Abstract Model Theory.
• HaPoC 2015 : 3rd International CONFERENCE on the HISTORY and PHILOSO- PHY of COMPUTING, October 8-11, 2015, Pisa, Italy. Talk: Explaining computing systems behaviours Functions, Abstractions, Idealization.
• Workshop on Induction, abduction, belief revision, and realism. National Technical University of Athens; December 15-16, 2014, Athens, Greece. Talk: The Logical Structure of Modular Semantic Theories of Software Systems.
Congresses and Symposia:
• Program Committee member of HaPoC 2021, 6th International Conference on the History and Philosophy of Computing, 27-29 Oct 2021 Zürich (Switzerland).
• Co-organizer of the symposium ‘Identity in Computational Formal and Applied Systems’, at CLMPST 2019, 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, August 5-10 2019, Prague.
• Program Committee member of HaPoC 2019, 5th International Conference on the History and Philosophy of Computing, October 28-30 2019, University of Bergamo, Bergamo, Italy
• Program Committee member of HaPoP 2018, Fourth Symposium on the History and Philosophy of Programming, March 23 2018, Mathematical Institute, University of Oxford, United Kingdom.
• Co-organizer of the symposium ’Methodological issues in the Philosophy of Com- puter Science’ at IACAP 2016: International Association for Computing and Philos- ophy, Annual Meeting, June 14-17 2016, Ferrara, Italy.
• Co-organizer of the Workshop on the Philosophy of Computer Science at 5th UNILOG, June 20-30 2015, Istanbul, Turkey
• Program Committee member of PHILOWEB GR, May 31 2014, Thessaloniki, Greece.
Submitted talks: 
• “Second Order Properties of Copied Computational Artefacts” (with Giuseppe Primiero). CLMPST 2019, 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, August 5-10 2019, Prague, Czech Republic.
• “From Simulative Programs as Theories to Theories of Simulative Programs” (with Guglielmo Tamburrini). IACAP 2016: International Association for Computing and Philosophy, Annual Meeting, June 14-17, 2016, Ferrara, Italy.
• “Defending the Semantic View of Theories. A Computer Science Perspective” (with Petros Stefaneas). 15th Congress on Logic, Methodology and Philosophy of Science (CLMPS), August 3-8, 2015, Helsinki, Finland.
• “The Logical Structure of Modular Semantic Theories of Software Systems” (with Petros Stefaneas). IACAP 2014, The Annual Meeting of the International Association for Computing and Philosophy, July 2-4 , Thessaloniki, Greece.
• “Faslifiability and Probability of Hypotheses about Computational Systems, and Scientific Experiments in Software Testing”. The Answers of Philosophy: SIFA 20th Anniversary Conference. 12-15 September 2012, Alghero (Università degli Studi di Sassari).
• “Model Based Abductive Reasoning in Software Verification”. MBR012 Model- Based Reasoning in Science and Technology. Theoretical and Cognitive Issues, June 21-23, 2012, Sestri Levante, Italy.
• “Falsification and confirmation of hypotheses about computational systems in software testing”, 14th congress of logic, methodology and philosophy of science (CLMPS11), July 19-26, 2011, University of Nancy, France.
• “Model Checking and scientific methodology: models, regularities, and idealizations.” International Conference of the Italian Society for Logic and Philosophy of Science (SILFS 2010), December, 15 - 17 2010, Bergamo, Italy
• “Model Checking and Models in Science. Models, Regularities, Prediction” (with Guglielmo Tamburrini). 7th European Conference on Philosophy and Computing (ECAP09), July 2-4, 2009, Barcelona, Spain.
 
Publications
Angius, N. On the Experimental Foundation of Computing. Submitted to Axiomathes.
Angius, N. & Primiero G. (2022) Copying Safety and Liveness Properties of Computational Artefacts. Forthcoming in Journal of Logic and Computation.
Angius, N. & Primiero G. & Turner, R. (2021) The Philosophy of Computer Science. Stanford Encyclopedia of Philosophy (Spring 2021 Edition), Edward N. Zalta (ed.)
Angius, N. & Primiero, G. (2020) Infringing Software Property Rights. Ontological, Methodological, and Ethical Questions. Philosophy & Technology, 33(2), 283-308
Angius, N. (2020). On the Mutual Dependence between Formal Methods and Empirical Testing in Program Verification. Philosophy & Technology, 33(2), 349- 355
Angius, N. (2019). Qualitative Models in Computational Simulative Sciences. Representation, Confirmation, Experimentation. Minds& Machines., 29(3), 397-416
Angius, N. & Primiero, G. (2018) The logic of identity and copy for computational artefacts. Journal of Logic and Computation, 28(6), 1293-322
Angius, N., Dimarogkona M., & Stefaneas, P. (2017) Building and Integrating Semantic Theories over Institutions. In S. Lambropoulou, D. Theodorou, P. Stefaneas & L. H. Kauffman (Eds),  Algebraic Modeling of Topological and Computational Structures and Applications, Springer, PROMS series
Turner, R., & Angius, N. (2017) The Philosophy of Computer Science.Stanford Encyclopedia of Philosophy (Spring 2017 Edition), Edward N. Zalta (ed.)
Angius, N. & Tamburrini, G. (2017) Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization. Philosophy & Technology, 30(2), 239-258.
Angius, N. & Tamburrini, G. (2016) Dai Programmi Simulativi come Teorie alle Teorie dei Programmi Simulativi. Sistemi Intelligenti., XXVIII(1), 153-168
Angius, N., & Stefaneas, P. (2016) Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. In Muller, V. (ed.), Computing and Philosophy: Selected Papers from  IACAP 2014. (Synthese Library) Berlin: Springer.
Angius, N. (2015) Computer Simulations Without Simulative Programs in Executable Cell Biology. Hypothesis Discovery and Justification. Paradigmi, XXXIII(3), 67-82
Angius, N. (2014) Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper. Philosophy and Technology, 27(3), 479-484.
Angius, N. (2014) The Problem of Justification of Empirical Hypotheses in Software Testing. Philosophy and Technology, 27(3), 423-439
Angius, N. (2013) Model-based Abductive Reasoning in Automated Software Testing. Logic Journal of the IGPL, 21(6), 931-942.
Angius, N. (2013) Abstraction and Idealization in the Formal Verification of Software Systems. Minds and Machines, 23(2), 211-226.
Angius, N. (2011) Software Verification and Scientific Methodology: Models, Regu- larities, Idealizations. L&PS - Logic & Philosophy of Science, 9, 569-577.
Angius, N., & Tamburrini, G. (2011) Scientific Theories of Computational Systems in Model Checking. Minds and Machines, 21(2), pp. 323-336.
Angius, N., & Tamburrini, G. (2010) Epistemologia dell’Artificiale e Informatica Teorica. In P. Greco, S. Termini (a cura di), Memoria e Progetto. Un Modello per il Mezzogiorno che Serva a Tutto il Paese, Edizioni GEM.
Competenze Linguistiche
Italian Mother-tongue
English Conversationally fluent