Jacopo Mauro

Jacopo Mauro

Associate Professor

University of Southern Denmark

Biography

Jacopo Mauro is an Associate Professor at the Department of Mathematics and Computer Science at the University of Southern Denmark (SDU). He is active in the Cloud Computing, Cybersecurity, DevOps, Formal Methods, and Optimization fields. His research interests also include Microservices, Concurrent Languages, and Explainable AI.

Jacopo holds a Ph.D. degree in informatics from the University of Bologna. He has lived in four countries and worked in world renown Universities (Bologna, Paris Diderot, Oslo, SDU) and Research Centers (INRIA).

Interests
  • Cloud Computing
  • DevOps & Microservices
  • Cybersecurity
  • Optimization
  • Constraint Programming
  • Formal Methods
  • Explainable AI
Education
  • Philosophiae Doctor (Ph.D.) in Computer Science, 2012

    University of Bologna, Italy

  • Master of Science (M.Sc.) in Computer Science, 2008

    University of Udine, Italy

  • Bachelor of Science (B.Sc.) in Computer Science, 2006

    University of Udine, Italy

Recent Publications

Quickly discover relevant content by filtering publications.
(2021). Microservice Dynamic Architecture-Level Deployment Orchestration. Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings.

PDF Cite DOI

(2021). Anomaly detection in Context-aware Feature Models. VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, February 9-11, 2021.

PDF Cite DOI

(2020). SMT-based variability analyses in FeatureIDE. VaMoS ‘20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020.

PDF Cite DOI

(2020). A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering.

PDF Cite DOI

(2020). Lazy product discovery in huge configuration spaces. ICSE ‘20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020.

PDF Cite DOI

Projects

*

CBCP

Capability-Based Command Protocol Project.

Danish Cybersecurity Challenge

Danish Cybersecurity Challenge.

ASCD

Assessment on the Status of CyberSecurity in Denmark.

DICOGA

Digital Choreographies for Oil & Gas in the Arctic.

AEOLUS

Mastering Cloud Complexity - French ANR Project.

CINA

Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society - Italian PRIN Project.

FOCUS

FOundations of Component-based Ubiquitous Systems - INRIA Research Team.

Hyvar

Scalable Hybrid Variability for Distributed, Evolving Software Systems - European H2020 Project.

PRIN9M932N

Innovative and multi-disciplinary approaches for constraint and preference reasoning- Italian PRIN Project.

SIRIUS

Norwegian Centre for Research-driven Innovation in the oil & gas industry - Norwegian Research Council Project.

Teaching

Current courses

Topics available for Master Thesis

  • Dev(Sec)Ops & Cloud Computing
  • Optimization
  • Algorithm Selection
  • Constraint based AI Explanation
  • Formal Methods
  • Choreographic programming

Office hours: by e-mail appointment

Awards

Contact