Andrea Formisano
Biography
Andrea Formisano is Associate Professor of Computer Science in the Department
of Mathematics and Computer Science at the University of Perugia, Italy.
He received his PhD in Computer Science at the University "La Sapienza" of Rome.
His main research interests include computational logics, automated reasoning,
computable set theory, knowledge representation and non-monotonic reasoning.
of Mathematics and Computer Science at the University of Perugia, Italy.
He received his PhD in Computer Science at the University "La Sapienza" of Rome.
His main research interests include computational logics, automated reasoning,
computable set theory, knowledge representation and non-monotonic reasoning.
Presentations
Workshop
Applications
Architectures
Graph Algorithms
SIGHPC Workshop
