Sito personale: sole.dimi.uniud.it/~luca.torella
Breve curriculumI’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