Pedreschi Dino
Location
- Address
- Dipartimento di Informatica Università di Pisa L.go Bruno Pontecorvo, 2 56125 Pisa
- Phone
- +39-050-2212752
- Fax
- +39-050-2212726
Personal Information
- Firstname
- Dino
- Lastname
- Pedreschi
- Homepage
- http://www.di.unipi.it/~pedre/
- Curriculum
- Dino Pedreschi was born in 1958 in Italy, and holds a Ph.D. in Computer Science from the University of Pisa, obtained in 1987. He is currently an associate professor at the Dipartimento di Informatica of the University of Pisa, serving as the coordinator of the undergraduate studies in CS (Diploma Universitario in Informatica). He has been a visiting scientist and professor at the University of Texas at Austin (1989/90), at CWI Amsterdam (1993) and at UCLA (1995). He has a long-standing collaboration with K. R. Apt (CWI) on verification methods for logic programming, and with C. Zaniolo (UCLA) and V. S. Subrahmanian (Univ. of Maryland) on various topics of logic in databases. He has been the coordinator of the working group Non-determinism in deductive databases, jointly sponsored by the European Union and the US National Science Foundation, involving four European and two US universities and research centers. He has been the co-editor of two books on the subject of the working group. His current research interests are in logic in databases, and particularly in data analysis, in deductive databases, in the integration of data mining and database querying, in spatio-temporal reasoning, and in formal methods for deductive computing. He has taught classes on programming languages and databases in universities in Italy and abroad, and is collaborating with F. Giannotti in course on data mining at the faculty of Economics at the University of Pisa. He participated in the scientific committee of various conferences in the area of Logic Programming and Databases, including the LID'96 Workshop on Logic in Databases, where he was program co-chair, and the LPNMR'99 Workshop on Logic Programming and Non Monotonic Reasoning, 1999.
- Position
- Research Staff
History
- Member for
- 16 years 10 months