About me

Biographical note

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 had been 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.

Currently, I am a PostDoc Researcher in Computer Science (subject area INF/01) at the Department of Mathematics, University of Calabria.