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.
Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro (2023). On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res..

PDF Cite DOI URL

Myra B. Cohen, Thomas Thüm, Jacopo Mauro (2023). Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023. ACM.

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2022). A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. IEEE International Conference on Web Services, ICWS 2022, Barcelona, Spain, July 10-16, 2022.

Cite DOI URL

Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk, Jacopo Mauro, Elda Paja (2022). A Study on Security and Privacy Practices in Danish Companies. Internet society.

PDF Cite URL

Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini (2022). Microservice security: a systematic literature review. PeerJ Comput. Sci..

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