Aplications of logics in computer science

Villaret Auselle, Mateu (Participant)
Castro Villegas, Francisco (Participant)
Bofill Arasa, Miquel (Participant)
Suy Franch, Josep (Participant)
Coll Caballero, Jordi (Participant)
Oca Corral, Josu (Participant)

Logic and Programming Research Group (LAI)

Research line: Impact

Description of impact

Logic in computer science. Study and development of fundamentals, methods and tools based on logic to solve complex computational problems.

Related content

Projects
23210 FPI-IF Ajuts per la formació de doctors (FPI) 2022 PRE2022-102047
Project: Staff To Incorporate › Nationals