ELLIIT recruited faculty Susanna de Rezende at Lund University has received the prestigious and highly competitive European Council of Research (ERC) Starting Grant for the project “META, Meta-Computational Perspectives on Proof Complexity”. Our warmest congratulations to de Rezende, read a short interview with her on the homepage of Department of Computer Science, LTH:
