Bio

For a .pdf of my CV, click here.

Education

Mar. 2019 – June 2022 PhD in Computer Science ­— University of Gothenburg | Chalmers, SE

Supervised by Dr Nir Piterman, working on description logics for security
Oct. 2016 – Feb. 2019 PhD in Computer Science ­— University of Leicester, UK

Supervised by Dr Nir Piterman, working on formal methods for probabilistic systems. Supported by the Department of Informatics through a Graduate Teaching Assistantship.
Sept. 2015 – Sept. 2016 MSc in Advanced Computational Methods — University of Leicester, UK

Final dissertation: “Automata-Theoretic Techniques for Probabilistic μ-Calculus”, supervised by Dr Nir Piterman.
Degree completed with a weighted average mark >90%
Oct. 2013 – July 2015 BSc in Computer Science — University of Cagliari, Italy

Thesis: “Simulation and Analysis of a Reservation Marketplace”, supervised by Dr Massimo Bartoletti.
Degree awarded with 110/110 Summa cum Laude

Publications

  1. Cauli, C. and Piterman, N: Equivalence of μp-Calculus and p-Automata. Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Proceedings (2017)          Paper          1-Page Abstract          Poster
  2. Cauli, C., Li, M., Piterman, N., and Tkachuk, O.: Pre-deployment Security Assessment for Cloud Services through Semantic Reasoning, CAV 2021, Proceedings (2021)    Paper        5-min        25-min     
  3. Cauli, C., Ortiz, M., Piterman, N.: Closed- and Open-world Reasoning for Cloud Infrastructure Security, KR 2021, Proceedings (2022)      Paper 
  4. Cauli, C., Ortiz, M., Piterman, N.: Actions over Core-closed Knowledge Bases, IJCAR 2022, Proceedings (2022)     ArXiv

Prizes and Awards

  • O-Sys Best MSc Student Prize 2016          Dept. of Informatics, UoL
  • Best MSc Theoretical Project Prize 2016          Dept. of Informatics, UoL
  • Researcher Development Fund Award 2017          Graduate School, UoL
  • Best Poster Award — 3rd Prize          ACM-W UK-Inspire 2017
  • Best Speaker — 1st Prize          London Hopper Colloquium 2017          Abstract          Slides

Teaching

As Graduate Teaching Assistant, my role includes: helping during labs, surgeries, and problem classes; coursework marking; exam invigilations; and one-to-one or small groups teaching.

I am/was a GTA for the following modules:

  • CO1005 — Data Structures and Development Environments,
  • CO2008  — Functional Programming, Haskell,
  • CO1003  — Program Design, Java,
  • CO1012 — Discrete Structures,
  • CO1016 — Computer Systems,
  • CO7105 — Advanced C++ Programming.