Ernesto Casablanca (Preferred)
Ernesto Casablanca
PhD student, School of computing, Newcastle University, UK
Joined
July 2025
Names
Emails
****@newcastle.ac.uk (Confirmed)
Personal Links
Career & Education History
PhD student
School of computing, Newcastle University, UK (newcastle.ac.uk)
2023 – Present
MS student
Computer science, University of Catania (unict.it)
2021 – 2023
Undergrad student
Computer science, University of Catania (unict.it)
2018 – 2021
Advisors, Relations & Conflicts
Expertise
Formal verification
2023 – Present