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.
(2020). Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. Service-Oriented Computing - 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings.

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

(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

(2019). Optimal and Automated Deployment for Microservices. Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.

PDF Cite DOI

Projects

*

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

Currently 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