# Agostino Dovier

> Italian computer scientist (1965-)

**Wikidata**: [Q55716497](https://www.wikidata.org/wiki/Q55716497)  
**Source**: https://4ort.xyz/entity/agostino-dovier

## Summary
Agostino Dovier is an Italian computer scientist born in 1965, known for his work in logic programming, artificial intelligence, and computational biology. He is a professor at the University of Udine and has made significant contributions to the development of constraint logic programming systems and their applications in bioinformatics and graph algorithms.

## Biography
- Born: July 28, 1965, in Grado, Italy
- Nationality: Italian
- Education: University of Pisa (doctoral studies)
- Known for: Logic programming, constraint programming, bioinformatics
- Employer(s): University of Udine (since 2001)
- Field(s): Computer science, artificial intelligence, computational biology, cryptography, information theory

## Contributions
Agostino Dovier has developed several constraint logic programming systems, including the CLP(Q) system for constraint logic programming over the domain of rational trees. His work on CLP(FD) for finite domain constraints has been widely adopted in the Prolog community. Dovier has published extensively on the application of logic programming to bioinformatics problems, including protein structure prediction and genomic data analysis. He has also contributed to the development of graph algorithms and their implementation in logic programming languages. His research has resulted in numerous publications in top-tier computer science conferences and journals, advancing the practical use of logic programming in complex computational problems.

## FAQs
### Q: What is Agostino Dovier's main area of research?
A: Agostino Dovier specializes in logic programming, particularly constraint logic programming, and its applications in artificial intelligence, bioinformatics, and computational biology.

### Q: Where does Agostino Dovier work?
A: Agostino Dovier is a professor at the University of Udine in Italy, where he has been employed since November 1, 2001.

### Q: What are some of Agostino Dovier's notable contributions?
A: Dovier is known for developing constraint logic programming systems like CLP(Q) and CLP(FD), and for applying logic programming techniques to bioinformatics and graph algorithms.

## Why They Matter
Agostino Dovier's work has significantly advanced the field of logic programming by making it more practical and applicable to real-world problems. His constraint programming systems have become standard tools in the Prolog community, enabling more efficient solutions to complex computational problems. In bioinformatics, his contributions have helped bridge the gap between theoretical computer science and practical biological data analysis, facilitating new approaches to understanding protein structures and genomic data. Dovier's research has influenced both the theoretical foundations and practical implementations of logic programming, making it a more viable option for solving complex problems in artificial intelligence and computational biology.

## Notable For
- Developed CLP(Q) and CLP(FD) constraint logic programming systems
- Pioneered applications of logic programming in bioinformatics
- Supervised multiple doctoral students who became prominent computer scientists
- Published extensively in top-tier computer science conferences and journals
- Contributed to the standardization of logic programming techniques in artificial intelligence

## Body
### Research Focus
Agostino Dovier's research primarily focuses on logic programming and its extensions, particularly constraint logic programming. He has worked extensively on developing efficient implementations of constraint solvers and integrating them with logic programming languages.

### Key Publications
Dovier has authored numerous papers on constraint logic programming, including foundational work on CLP(Q) for rational trees and CLP(FD) for finite domain constraints. His publications have appeared in major conferences such as ICLP (International Conference on Logic Programming) and journals like Theory and Practice of Logic Programming.

### Academic Leadership
As a professor at the University of Udine, Dovier has supervised several doctoral students who have gone on to successful careers in computer science. His students include Luca Bortolussi, Alessandro Dal Palù, and Elisa Quintarelli, among others.

### International Recognition
Dovier's work has been recognized internationally through his publications in prestigious venues and his contributions to the development of logic programming standards. He maintains an active research profile with publications indexed in major academic databases including Scopus, DBLP, and zbMATH.

### Technical Contributions
Beyond theoretical contributions, Dovier has developed practical implementations of constraint logic programming systems that have been used in both academic and industrial applications. His work on graph algorithms in logic programming has provided new approaches to solving complex computational problems.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Agostino Dovier",
  "jobTitle": "Professor of Computer Science",
  "worksFor": {
    "@type": "Organization",
    "name": "University of Udine"
  },
  "nationality": {
    "@type": "Country",
    "name": "Italy"
  },
  "birthDate": "1965-07-28",
  "birthPlace": "Grado, Italy",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Pisa"
    }
  ],
  "knowsAbout": [
    "Logic Programming",
    "Constraint Programming",
    "Artificial Intelligence",
    "Bioinformatics",
    "Computational Biology"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q25328680"
  ],
  "description": "Italian computer scientist known for contributions to logic programming and bioinformatics"
}

## References

1. Prabook
2. Czech National Authority Database
3. Mathematics Genealogy Project
4. [Source](https://orcid.org/0000-0003-2052-8593)
5. Virtual International Authority File
6. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0003-2052-8593/researcher-urls/547202)