Pietro Sala
Scholar

Pietro Sala

Google Scholar ID: FDGpiTcAAAAJ
Associate Professor in Computer Science, University of Verona
Temporal LogicsTemporal DatabasesComputational ComplexityProgram SynthesisModel Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
377
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
0
 
Contact
Emailpietro.sala@univr.it
Publications
1 items
Synthesis of timeline-based planning strategies avoiding determinization
2025
Cited
0
Resume
Research Experience
  • Mar 2010 – Feb 2012: Postdoctoral Fellow, Department of Computer Science, University of Verona, supervised by Prof. Carlo Combi
  • Mar 2012 – Feb 2013: Postdoctoral Fellow, Department of Diagnostics and Public Health, University of Verona, supervised by Prof. Ugo Moretti
  • Mar 2013 – Jun 2016: Postdoctoral Fellow, Department of Computer Science, University of Verona, supervised by Prof. Carlo Combi
  • Jul 2016 – Nov 2019: Temporary Assistant Professor Junior (RTD-A), Department of Computer Science, University of Verona
  • Dec 2019 – Nov 2022: Temporary Assistant Professor Senior (RTD-B), Department of Computer Science, University of Verona
  • Since Dec 2022: Associate Professor, Department of Computer Science, University of Verona
  • June 15, 2023: Obtained National Academic Qualification as Full Professor in Mathematical Logic (01/A1)
  • June 5, 2023: Obtained National Academic Qualification as Full Professor in Computer Engineering (09/H1)