MA Phil, PhD Phil, Qualified in the Class of Information Sciences and Technologies of the National Research Council Italy.
Dr. Giuseppe Primiero joined Middlesex in 2013. He previously held positions as Post-Doctoral Researcher at the Universities of Leiden (the Netherlands) and Ghent (Belgium) and under the Fellowship Scheme of the Flemish Research Foundation (FWO). He is currently also Guest Professor at the Centre for Logic and Philosophy of Science, Ghent University, Belgium. He has spent visiting research periods at Stockholm University, University of Oxford, The Newton Institute at the University of Cambridge, City University of New York, Politecnico di Milano.
For more details: http://www.cs.mdx.ac.uk/people/giuseppe-primiero/
Italian, English, Dutch, German.
Foundations of Computing, Logic, Programming, History of Computing, Philosophy of Computing.
Philosophy of Computing and Information, Computational and Epistemic Logics, Type Theories and Procedural Semantics, Software Engineering.
Angius, Nicola and Primiero, Giuseppe (2018) The logic of identity and copy for computational artefacts. Journal of Logic and Computation . ISSN 0955-792X (Published online first)
Martorana, Agostino and Primiero, Giuseppe and Tagliabue, Jacopo (2018) Simulation of a trust and reputation based mitigation protocol for a black hole style attack on VANETs. In: S4CIP’18: 3rd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 27 Apr 2018, London, United Kingdom. (Accepted/In press)
Bottone, Michele and Raimondi, Franco and Primiero, Giuseppe (2018) Multi-agent based simulations of block-free distributed ledgers. In: The 32nd IEEE International Conference on Advanced Information Networking and Applications (IEEE AINA-2018), 16-18 May 2018, Pedagogical University of Cracow, Cracow, Poland. (Accepted/In press)
Allo, Patrick and Primiero, Giuseppe (2018) Annotated natural deduction for adaptive reasoning. In: Graham Priest on Dialetheism and Paraconsistency. Baskent, Can and Ferguson, Thomas , eds. Outstanding Contributions in Logic . Springer. (Accepted/In press)
Primiero, Giuseppe and Raimondi, Franco and Chen, Taolue and Nagarajan, Rajagopal (2017) A proof-theoretic trust and reputation model for VANET. In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France.