Alberto Molinari's website

Alberto Molinari

PhD, DMIF, Univ. of Udine, IT

<name>.<surname>@uniud.it

<surname>.<name>@gmail.com

Via delle Scienze, 206 - 33100 Udine, IT (MAP)

Orcid 0000-0002-7792-2105

Date of birth: 04/04/1990

Place of birth: Vittorio Veneto (TV), IT

Nationality: Italian

February 2019: PhD in Computer Science at the University of Udine. Thesis: "Model Checking: the Interval Way".
March 2015: "Laurea magistrale" (Master Degree) in Computer Science at the University of Udine. Evaluation: 110/110 cum laude. Thesis: "Model Checking and Interval Temporal Logics: Checking Interval Properties of Computations".
October 2012: "Laurea triennale" (First Level Degree) in Computer Science at the University of Udine. Evaluation: 110/110 cum laude. Thesis: "Two compressed full-text indexes (Due indici compressi full-text)".
July 2009: "Diploma di liceo scientifico" (Secondary School leaving examination), liceo Scientifico Statale "M. Flaminio", Vittorio Veneto (TV), Italy. Evaluation: 100/100 cum laude.

Model checking, interval temporal logics, algorithmica, complexity theory, planning, ...