Joan Bagaria Pigrau (born August 17, 1958) is a Catalan mathematician, logician and set theorist at ICREA and University of Barcelona.

He has made many contributions concerning forcing, large cardinals, infinite combinatorics and their applications to other areas of mathematics.

[1] He earned his PhD in Logic & the Methodology of Science at the University of California, Berkeley in 1991 under the supervision of Haim Judah and W. Hugh Woodin.

[1] In June 1992, Bagaria returned to Catalonia as an invited researcher at the Centre de Recerca Matemàtica, where he remained until that September.

[1] From October 1992 to September 1995, he was an interim research professor at the Autonomous University of Barcelona.