Research Areas

Declarative programming is the research area which studies the definition, implementation and applications of logic and functional programming languages. Logic programming has a long tradition in AI (expert systems, knowledge representation, natural language processing) and more recently in deductive databases and optimization using its constraint logic programming extensions. Functional programming has gained a new hype in the last decade mostly due to the applications of OCaml and Haskell by several top software companies and projects such as Microsoft, Intel, AT&T, Facebook and Github. LIACC has been doing research in declarative programming from its early days, and now the focus of this research area in LIACC is program analysis and verification of logic and functional programming languages.