Luca Torella

Email: luca.torella@uniud.it

Sito personale: sole.dimi.uniud.it/~luca.torella

Breve curriculum

I’m a Ph.D. Student in Computer Science at the University of Siena (cycle XXVI) under the supervision of Moreno Falaschi. I received the Master Degree in Computer Science at the University of Udine, in July 2010 with full marks (110/110 cum laude). The title of my thesis was “A compact, bottom-up, goal-independent semantics for the Term Rewriting Systems”.

Progetti di ricerca

-Term Rewriting Systems -Static Analysis -Abstract Interpretation

Aree di ricerca dell'informatica

  • Linguaggi di programmazione
  • Logiche, algoritmi e automi
  • Metodi formali e applicazioni