- Head researcher
- PEDRO MESEGUER GONZALEZ
LOGIC and REASONING
The activity of this group is centered around the logic and mathematic modelization of reasoning, and the design of algorithms for solving constraint-based problems and satisfiability.
Main specialization
Área de investigación:
Disciplina ERC:
- PE - DOMAIN PHYSICAL SCIENCE AND ENGINEERING
- PE6 Computer Science and Informatics
Industrial Leadership:
- 1 Information and Communication Technologies (ICT)
- 1.2. Next generation computing: advanced computing systems and technologies
Societal Challenges:
- 7. Other
- 7.1. Other