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). Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends.

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

(2023). Serverless Scheduling Policies based on Cost Analysis. Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023.

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