{"id":215,"date":"2023-11-08T15:32:24","date_gmt":"2023-11-08T15:32:24","guid":{"rendered":"https:\/\/sites.unimi.it\/smartest\/?page_id=215"},"modified":"2024-03-06T10:39:02","modified_gmt":"2024-03-06T10:39:02","slug":"nicola-angius","status":"publish","type":"page","link":"https:\/\/sites.unimi.it\/smartest\/nicola-angius\/","title":{"rendered":"Nicola Angius"},"content":{"rendered":"\n
\n
\n
Nicola Angius<\/h5>\n\n\n\n
\"\"<\/figure>\n<\/div>\n\n\n\n
\n

CURRENT POSITION<\/h2>\n\n\n\n
    \n
  • 2021-current Assistant Professor of Logic and Philosophy of Science (RTDb), Department of Cognitive Science, University of Messina, Italy<\/li>\n<\/ul>\n\n\n\n

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

      VISITING POSITIONS<\/h2>\n\n\n\n
        \n
      • 2015 Teaching Erasmus, Department of Mathematics, School of Applied Mathematics and Physical Sciences, National Technical University of Athens, Athens, Greece.<\/li>\n\n\n\n
      • 2011 Invited Visiting Scholar, School of Computer Science and Electronic Engineering, University of Essex, UK.<\/li>\n<\/ul>\n\n\n\n

        TEACHING<\/h2>\n\n\n\n
          \n
        • 2022 Evolutionary Psychology, BA in Psychology, University of Messina, Italy – 2018-2021 Philosophy of Computer Science, BA in Communication Sciences, University of Sassari, Italy.<\/li>\n\n\n\n
        • 2017-2018 Philosophy of Psychology, BS in Psychology, University of Sassari, Italy.<\/li>\n\n\n\n
        • 2008-2017 Logic (module tutor), BA in Philosophy, University of Sassari, Italy.<\/li>\n<\/ul>\n\n\n\n

          RESEARCH INTEREST<\/h2>\n\n\n\n

          Philosophy of Computer Science; Computational Logic; Philosophy of Computer Simulations; Philosophy of Cognitive Science; Computer Ethics.<\/p>\n\n\n\n

          RESEARCH GROUPS<\/h2>\n\n\n\n
            \n
          • Member of PROGRAMme, ANR project: What is a (computer) program? Historical and philosophical perspectives.<\/li>\n\n\n\n
          • External member of the Logic and Formal Methods Research Group (\u03bb \u2212 ForM). Department of Mathematics, School of Applied Mathematical and Physical Sciences, National Technical University of Athens.<\/li>\n\n\n\n
          • Principal Investigator of the research project \u201dFormal 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) <\/li>\n<\/ul>\n\n\n\n

            GRANTS<\/h2>\n\n\n\n
              \n
            • 2016 Post-Doc Department of History, Human Sciences, and Education, University of Sassari, Italy.<\/li>\n\n\n\n
            • 2010 Research Grant, granted by Regione Autonoma della Sardegna <\/li>\n<\/ul>\n\n\n\n

              REFEREEING<\/h2>\n\n\n\n

              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\u00e9: Research in Philosophy and Technology; Humana.Mente; APhEx.<\/p>\n\n\n\n

              EDITING<\/h2>\n\n\n\n

              GUEST EDITOR for AXIOMATHES (Springer) of the Special Issue: Book symposium on the Foundations of Computation.<\/p>\n\n\n\n

              INVITED TALKS<\/h2>\n\n\n\n
                \n
              • PROGRAMme Workshop, University of Lille, June 14-15, 2022, Lille, France. Talk: Are Computer Programs Theories?<\/li>\n\n\n\n
              • 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.<\/li>\n\n\n\n
              • 3th S\u00e9minaire Histoire et philosophie de l\u2019informatique, February 23 2017, at IHPST, Paris. Talk: From Simulative Programs as Theories to Theories of Simulative Programs.<\/li>\n\n\n\n
              • 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.<\/li>\n\n\n\n
              • 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.<\/li>\n\n\n\n
              • 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.<\/li>\n<\/ul>\n\n\n\n

                CONGRESSES AND SYMPOSIA<\/h2>\n\n\n\n
                  \n
                • Program Committee member of HaPoC 2021, 6th International Conference on the History and Philosophy of Computing, 27-29 Oct 2021 Zu\u0308rich (Switzerland).<\/li>\n\n\n\n
                • Co-organizer of the symposium \u2018Identity in Computational Formal and Applied Systems\u2019, at CLMPST 2019, 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, August 5-10 2019, Prague.<\/li>\n\n\n\n
                • 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<\/li>\n\n\n\n
                • 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.<\/li>\n\n\n\n
                • Co-organizer of the symposium \u2019Methodological issues in the Philosophy of Computer Science\u2019 at IACAP 2016: International Association for Computing and Philosophy, Annual Meeting, June 14-17 2016, Ferrara, Italy.<\/li>\n\n\n\n
                • Co-organizer of the Workshop on the Philosophy of Computer Science at 5th UNILOG, June 20-30 2015, Istanbul, Turkey<\/li>\n\n\n\n
                • Program Committee member of PHILOWEB GR, May 31 2014, Thessaloniki, Greece.<\/li>\n<\/ul>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

                  Nicola Angius CURRENT POSITION PREVIOUS POSITIONS VISITING POSITIONS TEACHING RESEARCH INTEREST Philosophy of Computer Science; Computational Logic; Philosophy of Computer Simulations; Philosophy of Cognitive Science; Computer Ethics. RESEARCH GROUPS GRANTS REFEREEING Analysis; Biology and Philosophy; Synthese; Minds & Machines; Journal of Logic and Computation; Philosophy & Technology; Philosophical Studies; Foundations of Science; International Studies in […]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-215","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/pages\/215","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/comments?post=215"}],"version-history":[{"count":2,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/pages\/215\/revisions"}],"predecessor-version":[{"id":343,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/pages\/215\/revisions\/343"}],"wp:attachment":[{"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/media?parent=215"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}