Research in computer science includes algorithms, complexity theory, computer vision, machine learning, and discrete and computational geometry. There are strong interactions between discrete mathematics and computer science, as exemplified by the LIMDA joint seminar.

Research on logic and set theory focuses on model theory, non classical logics, forcing and large cardinals.

Researchers in the Barcelona area, and more generally in Catalonia, group themselves into smaller research groups, following not only academic but also administrative criteria, like location or research grants.

This website intends to use cookies to improve the site and your experience. By continuing to browse the site you are agreeing to accept our use of cookies. If you require further information and/or do not wish to have cookies placed when using the site, visit the Cookies Policy page. OkCookies Policy