Discrete Mathematics, Computer Science and Logic

Discrete Mathematics, Computer Science and Logic

Discrete Mathematics within BGSMath comprises several related fields: Combinatorics, graph theory, coding theory, cryptography, discrete and computational geometry, among others. It is characterized by the analysis of discrete structures, such as graphs, partial orders, finite fields, combinatorial geometries, using algebraic, analytic, and probabilistic methods.

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.

Research Lines

Combinatorics and Graph theory

Keywords: Additive Combinatorics. Algebraic graph theory. Combinatorial geometries. Enumerative Combinatorics. Random graphs.

Simeon Ball (UPC)
Anna de Mier (UPC)
Josep Díaz (UPC)
Josep Fàbrega (UPC)
Miquel Àngel Fiol (UPC)
Gabor Lugosi (UPF)
Marc Noy (UPC)
Juanjo Rué (UPC)
Oriol Serra (UPC)

Logic and Set theory

Keywords: Forcing. Large cardinals. Model theory. Non classical logics.

Albert Atserias (UPC)
Joan Bagaria (UB)
Enrique Casanova (UB)
Joan Gispert (UB)
Ramón Jansana (UB)
Joost Joosten (UB)
Antoni Torrens (UB)

Computer Vision
Algorithms, Complexity, and Computational Geometry

Keywords: Analysis of algorithms. Computational complexity theory. Data mining and machine learning. Discrete and computational geometry. Random graphs.

Carme Àlvarez (UPC)
Argimiro Arratia (UPC)
Albert Atserias (UPC)
Víctor Dalmau (UPF)
Josep Díaz (UPC)
Ricard Gavaldà (UPC)
Julian Pfeifle (UPF)
Vera Sacristán (UPC)
Maria José Serna (UPC)
Rodrigo Silveira (UPC)

Coding theory, Information theory and Cryptography

Keywords: Information theory. Minimum distance codes. Optimal coding. Secret sharing.

Simeon Ball (UPC)
Cristina Fernández-Córdoba (UAB)
Albert Guillén i Fábregas (UPF)
Javier Herranz (UPC)
Alfonso Martínez (UPF)
Paz Morillo (UPC)
Carles Padró (UPC)
Josep Rifà (UAB)
Maria German Sáez (UPC)
Mercè Villanueva (UAB)
Andreas Winter (UAB)