Olen tietojenkäsittelytieteen tutkija laskennan vaativuusteorian alalta. Olen kiinnostunut tehokkaan laskennan ja päättelyn rajoista sekä näiden välisestä vuorovaikutuksesta. Työskentelen pääasiassa todistusvaativuuden alalta. Todistusvaativuus tarkastelee formaalien todistusjärjestelmien rajoitteita pyrkien osoittamaan, että tietyt tautologiat vaativat äärimmäisen suuria todistuksia näissä järjestelmissä.
Väittelin tohtoriksi Katalonian teknillisestä yliopistosta vuonna 2022, jonka jälkeen olen työskennellyt tutkijatohtorina ensin Imperial College Londonilla sekä sitten Helsingin yliopistolla. Vuonna 2023 vietin kaksi kuukautta vierailevana tutkijatohtorina kaksi Simons Institute for the Theory of Computing tutkimusinstituutilla Berkeleyssä.