Enrico  Pontelli
Department Head Professor and Department Head Ph.D., New Mexico State University   1997 Email: epontell@cs.nmsu.edu   Phone: (575) 646-6239 Office: SH 123A Home Page
Enrico Pontelli received a Laurea in Computer Science in 1991 from University of Udine, a Master in Computer Science in 1992 from University of Houston, and a PhD in Computer Science in 1997 from New Mexico State University. He has received various fellowships (in particular a three years support from EEC to achieve a Master in Computer Science) and a special award from University of Udine as recognition of outstanding thesis work. He has published more than 30 research papers. He has been peer-referee for various conferences and journals on logic programming and parallel computing. He has also served as external consultant for the EEC-funded ESPRIT project AXL. His primary research interests are in Programming Languages, Parallel Processing, Logic Programming, and Internet Computing. He maintains active research collaborations with groups in Spain, Italy, England, and Portugal.

Publications
E. Pontelli, " Experiments in Parallel Execution of Answer Set Programming, " Experiments in Parallel Execution of Answer Set Programming, IEEE Int. Parallel Processing Symposium, 2001

G. Gupta, E. Pontelli, M. Carlsson, M. Hermenegild, " Parallel Execution of Prolog, " Parallel Execution of Prolog, ACM TOPLAS, 2001

J. Iglesias, E. Pontelli, D. Ranjan, G. Gupta, B., " Logic Programming Technology for Interoperability between Bioinformatics Software Tools, " Logic Programming Technology for Interoperability between Bioinformatics Software Tools, Symp. on Practical Aspects of Declarative Languages, Springer Verlag, 2001

A. Dovier, C. Piazza, E. Pontelli, G. Rossi, " Sets and Constraint Logic Programming, " Sets and Constraint Logic Programming, ACM TOPLAS, 2000

A. Dovier, E. Pontelli, G. Rossi, " Undecidability of Constructive Negation in Constraint Logic Programming, " Undecidability of Constructive Negation in Constraint Logic Programming, Information Processing Letters, 2000

E. Pontelli, D. Ranjan, G. Gupta, " On the Complexity of Or-Parallelism, " On the Complexity of Or-Parallelism, New Generation Computing, 1999

E. Pontelli, F. Pulvirenti, G. Gupta, A. Ferro, " Automatic Compile-time Annotation for Dependent And-Parallelism, " Automatic Compile-time Annotation for Dependent And-Parallelism, International Conference on Logic Programming, 1997

E. Pontelli, G. Gupta, " Implementation Mechanisms for Dependent And-Parallelism, " Implementation Mechanisms for Dependent And-Parallelism, International Conference on Logic Programming, 1997

E. Pontelli and G. Gupta, " A Constraint Programming Approach to Automatic Model Verification, " A Constraint Programming Approach to Automatic Model Verification, IEEE Real-time Systems Symposium, 1997

E. Pontelli, G. Gupta, M. Hermenegildo, M. Carro, " Improving the Efficiency of Independent And-Parallel Systems, " Improving the Efficiency of Independent And-Parallel Systems, Computer Languages, 1996

A. Dovier, E. Pontelli, G. Rossi, E. Omodeo, " {log}: Logic Programming with Finite Sets, " {log}: Logic Programming with Finite Sets, Journal of Logic Programming, 1996

E. Pontelli, G. Gupta, " On the duality between And-Parallelism and Or-Parallelism, " On the duality between And-Parallelism and Or-Parallelism, EuroPar, 1995