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, 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

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro (2024). Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends.

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2023). Custom Serverless Function Scheduling Policies: An APP Tutorial. Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022).

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2023). Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof..

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro (2023). On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res..

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