Latest Posts

Outreach

Front propagation in networks: from the brain to the world by Alain Goriely

(Mathematical Institute, University of Oxford). Received 22 Feb, 2021. We live in a connected world where people, goods, information, and diseases travel from one region to the next. In the years of COVID, a particularly dramatic example of this propagation phenomenon is, of course, the transmission of the coronavirus from a single seed location (Wuhan, […]

PHD Thesis

Low and high-order hybridised methods for compressible flows by Jordi Vila Pérez

Jordi Vila Pérez defended his PhD thesis Low and high-order hybridised methods for compressible flows (pdf), supervised by Professors Antonio Huerta and Matteo Giacomini, on February 10, 2021, within the UPC doctoral program in Applied Mathematics. Currently, he is a Postdoctoral Associate at the Aerospace Computational Design Laboratory of MIT, where he is working on a project

Research Highlights

Proof Search and the Structure of Solution Spaces by Albert Atserias

(IMTech, UPC). Received 9 Jan, 2021 In 2019, Moritz Müller and I resolved a longstanding open question on the computational complexity of proof search. The preliminary version of the article “Automating Resolution is NP-Hard” was the co-winner of the Best Paper Award at the 60th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2019).

Scroll al inicio