Biography

Jacopo Mauro is a 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 PhD degree in informatics from the University of Bologna. He has lived in four countries and worked in world-renowned 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.
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gejsi Vjerdha (2025). Towards a Framework for Transitioning from Monolith to Serverless. The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday.

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2024). An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings.

PDF Cite DOI URL

Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini (2024). Choreography-Defined Networks: A Case Study on DoS Mitigation. Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II.

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2024). Function-as-a-Service Allocation Policies Made Formal. Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I.

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2024). FunLess: Functions-as-a-Service for Private Edge Cloud Systems. IEEE International Conference on Web Services, ICWS 2024, Shenzhen, China, July 7-13, 2024.

PDF Cite DOI URL

See all publications

Projects

.js-id-recent
Recent Old All
GAMESS
GAMification and Education for Secure Software (GAMESS).
Danish Cybersecurity Challenge 2022-24
Danish Cybersecurity Challenge.
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.
Hyvar
Scalable Hybrid Variability for Distributed, Evolving Software Systems - European H2020 Project.
AEOLUS
Mastering Cloud Complexity - French ANR 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

Awards

Other Links

Software

  • SUNNY-CP: a portfolio based constraint solver
  • mzn2feat: a feature extractor for MiniZinc/XCSP files

Discontinued software

  • Zephyrus2: an optimal deployment configurator
  • HyVarRec: a context-aware reconfiguration for Software Product Lines
  • XCSP-to-MiniZinc: a file converter form XCSP to MiniZinc

Chocolate experiments

Contact