| Date |
2009-07-10 |
Time |
14:00:00 |
Room |
SH 107 |
| Speaker |
Agostino Dovier, University of Udine, Italy (Host: Pontelli) |
| Abstract |
The purpose of this paper is to provide a brief overview of how constraint logic programming technology has been used by our team in addressing the problem of tertiary protein structure determination. The proposed approach tackles the problem from the perspective of viewing protein structure as a folding of protein sequences in a discrete representation of space (a crystal lattice structure). Logic programming and constraint programming technologies can be effectively used to provide an elegant and effective solution.
|
| Bio |
Agostino Dovier received his `Laurea' (Master degree) in `Scienze dell'Informazione' (Computer Science) at the University of Udine, and the PhD degree in `Informatica' (again, Computer Science) from the University of Pisa on October 1996. He was employed as a `ricercatore' (something like `assistant professor') at the University of Verona and he is currently employed as `associate professor' at the University of Udine. He has been supervisor of more than 60 Laurea or PhD theses. His current research interests include: the development and the applications of declarative programming languages with constraints; the devolpment and implementation of action description languages; and Bioinformatics (in particular constraint-based approaches to the "protein folding problem"). He coordinated some national research projects (GNCS, PRIN, FIRB). He has been member of program committees of national and international conferences on declarative programming and author or coauthor of more th an 70 international publications. He has served as program chair of international meetings on constraints and bioinformatics and as general chair of ICLP 2008.
|
