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.
(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

(2024). Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends.

PDF Cite DOI URL

(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

(2023). Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof..

PDF Cite DOI URL

(2023). On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res..

PDF Cite DOI URL

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

Contact