Andrea Formisano is an associate professor of computer science in the Department of Mathematics, Physics and Computer Science at the University of Udine, Italy.
He received his `Laurea' (Master degree) in `Scienze dell'Informazione' (Computer Science) at the University of Udine with full marks on March 3rd, 1995.
He received his Ph.D. in Computer Science from Sapienza, University of Rome in 2000, with a dissertation on automated reasoning and relation algebras.
He was assistant professor in the Department of Mathematics and Computer Science at the University of Perugia from 2000 to 2003 and in the Department of Computer Science at the University of L'Aquila from 2004 to 2006. Then, he was associate professor in the Department of Mathematics and Computer Science at the University of Perugia from 2007 to 2019.
He served as member of the Executive committee of the Italian Association for Logic Programming from 2007 to 2018. From 2019 he is vice-president of the Italian Association for Logic Programming.
From 2019 he is member of the EC of ALP, the International Association for Logic Programming.
His main research interests include computational logics, automated reasoning, knowledge representation and non-monotonic reasoning, multi-agent systems, GPU computing.