Piperno Adolfo
Associate Professor
Department of Computer Science
Roma Tre University
Italy
Biography
"Adolfo Piperno obtained his degree in “Matematica” from the “Sapienza” University of Rome in 1986. He obtained his Ph.D. in “Ingegneria Informatica” from the “Sapienza” University of Rome in 1991. In in 1991 he was appointed to the position of Researcher in the “Dipartimento di Informatica” of the “Sapienza” University of Rome, where, since 1998, he has been an Associate Professor. Adolfo Piperno’s research has been mainly in the field of Formal Methods in Computing Science, focussing in particular on Functional Programming, Lambda-Calculus and Type Theory. Further areas of research interest include Algorithms for Graph Drawing and Canonization. "
Research Interest
Mathematical Methods for Computer Science -
