Nicola Angius

CURRENT POSITION

2021-current Assistant Professor of Logic and Philosophy of Science (RTDb), Department of Cognitive Science, University of Messina, Italy

PREVIOUS POSITIONS

2017-2021 Teaching Fellow of Philosophy of Computer Science, Department of History, Human Science, and Education, University of Sassari, Italy.
2016-2017 Research Fellow, Department of History, Human Sciences, and Education, University of Sassari, Italy.
2015 Teaching Erasmus, Department of Mathematics, School of Applied Mathematics and Physical Sciences, National Technical University of Athens, Athens, Greece.
2008-2017 Teaching Assistant, Logic and Philosophy of Science, Department of History, Human Sciences, and Education, University of Sassari, Italy.
2011 Visiting Scholar, School of Computer Science and Electronic Engineering, University of Essex, UK.
2010-2012 Research Fellow, Department of Theories and Researches of Cultural Systems, University of Sassari, Italy.

VISITING POSITIONS

2015 Teaching Erasmus, Department of Mathematics, School of Applied Mathematics and Physical Sciences, National Technical University of Athens, Athens, Greece.
2011 Invited Visiting Scholar, School of Computer Science and Electronic Engineering, University of Essex, UK.

TEACHING

2022 Evolutionary Psychology, BA in Psychology, University of Messina, Italy – 2018-2021 Philosophy of Computer Science, BA in Communication Sciences, University of Sassari, Italy.
2017-2018 Philosophy of Psychology, BS in Psychology, University of Sassari, Italy.
2008-2017 Logic (module tutor), BA in Philosophy, University of Sassari, Italy.

RESEARCH INTEREST

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

RESEARCH GROUPS

Member of PROGRAMme, ANR project: What is a (computer) program? Historical and philosophical perspectives.
External member of the Logic and Formal Methods Research Group (λ − ForM). Department of Mathematics, School of Applied Mathematical and Physical Sciences, National Technical University of Athens.
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)

GRANTS

2016 Post-Doc Department of History, Human Sciences, and Education, University of Sassari, Italy.
2010 Research Grant, granted by Regione Autonoma della Sardegna

REFEREEING

Analysis; Biology and Philosophy; Synthese; Minds & Machines; Journal of Logic and Computation; Philosophy & Technology; Philosophical Studies; Foundations of Science; International Studies in the Philosophy of Science; Axiomathes, Oxford Bibliographies; Techné: Research in Philosophy and Technology; Humana.Mente; APhEx.

EDITING

GUEST EDITOR for AXIOMATHES (Springer) of the Special Issue: Book symposium on the Foundations of Computation.

INVITED TALKS

PROGRAMme Workshop, University of Lille, June 14-15, 2022, Lille, France. Talk: Are Computer Programs Theories?
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 IHPST, 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: Syntactic and Semantic Presentations of Scientific Theories in Abstract Model Theory.
HaPoC 2015 : 3rd International CONFERENCE on the HISTORY and PHILOSOPHY 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 Zü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 Computer Science’ at IACAP 2016: International Association for Computing and Philosophy, 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.