Nicola Angius

Nicola Angius was born in Sassari, Italy, in 1980. In 2005 he graduated in Philosophy at the Catholic University of Milan, discussing a thesis entitled “Temi di Gnoseologia Classica in Gödel [Classical Epistemology Issues in Gödel]”. In 2010 he got a PhD in Philosophy at the University of Cagliari with a thesis entitled “Model Verification in Computer Science: Scientific Methodology, Abstraction, and Idealization”. In 2010 he won a two-year research grant at the Department of Theories and Researches
of Cultural Systems, University of Sassari. From January to July 2011 he was Visiting Researcher at the Department of Computer Science and Software Engineering, University of Essex. Since 2011 he has been Teaching Assistant of the course ‘Logic and Philosophy of Science’ at the University of Sassari. His general research interests focus on the epistemology and methodology of computer science, on models in computational biology, on the notion of scientific theory, and on abstract model theory.