Elena Di Lavore
Scholar

Elena Di Lavore

Google Scholar ID: ib-LPtQAAAAJ
University of Pisa
category theoryprogramming semantics
Citations & Impact
All-time
Citations
145
 
H-index
6
 
i10-index
5
 
Publications
20
 
Co-authors
8
list available
Resume (English only)
Academic Achievements
  • - Published multiple papers, including 'Coinductive Streams in Monoidal Categories', 'Order in Partial Markov Categories', etc.
  • - Received Kleene award (2022)
  • - Presented at several international conferences such as LiCS 2025, CALCO 2025, etc.
Research Experience
  • - Research associate at the University of Oxford, working with Sam Staton
  • - Postdoctoral researcher at the University of Pisa, working with Filippo Bonchi
  • - PhD student at Tallinn University of Technology, supervised by Paweł Sobociński
Education
  • PhD: Tallinn University of Technology, supervised by Paweł Sobociński, until November 2023.
Background
  • Research associate at the University of Oxford, working on the ARIA Safeguarded AI program. Previously, a postdoctoral researcher at the University of Pisa.
Miscellany
  • Academic service:
  • - Program committee member for the MFPS 2025 conference
  • - Program committee member for the ACT 2025 conference
  • - Member of the steering committee of the Adjoint School
  • - Member of the executive board of Compositionality
  • - TA for the category theory and applications course at Tallinn University of Technology
  • - Local co-organiser of SYCO 9 at the University of Insubria, Como
  • - Program committee member for the ACT 2022 conference
  • - Co-organiser of the ACT Adjoint school 2022 and 2023