Registered user since Sat 12 Sep 2015
My name is Mario Alviano. I was born on 12 September 1983, in Vibo Valentia, Italy.
I attended high school in Catanzaro, at I.T.I.S. “E. Scalfaro”, specializing in Computer Science.
In 2002, when I was 18, I participated in the Italian Olympics of Informatics, and I was the 1st on regional level (Calabria) and the 25th on the national level.
In 2005, I was in Vienna, Austria, where I worked on my Bachelor Thesis at Vienna University of Technology (TU Wien); my thesis was “Progettazione e implementazione di un linguaggio logico con costrutti frame e higher-order”, advised by Giovambattista Ianni and Thomas Eiter. I graduated cum laude in the Bachelor of Science in Computer Science in the University of Calabria.
In 2007, I graduated cum laude in the Master of Science in Computer Science in the University of Calabria. In 2008 my Master’s Thesis, “Efficient Recursive Aggregates Evaluation in Logic Programming“, advised by Nicola Leone and Wolfgang Faber, won the “Italian best thesis in Artificial Intelligence” award, a prize awarded by AI*IA, the Italian Association for Artificial Intelligence (Associazione Italiana per l’Intelligenza Artificiale).
In 2007, I was admitted to the Doctoral Program in Mathematics and Informatics at the Department of Mathematics of the University of Calabria. On 23 December 2010 I defended my Ph.D. Thesis, “Dynamic Magic Sets”, advised by Wolfgang Faber and Nicola Leone. In 2012 I was awarded an honourable mention for my Ph.D. Thesis by the European Coordinating Committee for Artificial Intelligence (ECCAI), a prize awarded to the three best European doctoral dissertations in Artificial Intelligence.
From February 2011 to December 2012 I was a PostDoc Researcher in Computer Science (subject area INF/01) at the Department of Mathematics, University of Calabria.
Since January 2013 I am a Researcher (Assistant Professor) in Computer Science (subject area INF/01) at the Department of Mathematics and Computer Science, University of Calabria. I teach Knowledge Representation to master students of Computer Science, and Informatics for Cultural Heritage to master students of Archeology. From March to June 2014 I was a visiting researcher at the University of Oxford. From March to June 2015 I am a visiting researcher at the University of Vienna.
Symposium on Practical Aspects of Declarative Languages
View general profile