Since January 2018, I am Assistant Professor at the
School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden.
My research interests lie at the intersection of computer security, programming languages, formal methods and software engineering. Concretely, I am interested in
language-based security, web and mobile application security, privacy in social networks, low-level security, program analysis and verification, logics, and abstract interpretation.
From 2014 to 2017, I was a postdoctoral researcher at the Information Security division at Chalmers University of Technology, hosted by Andrei Sabelfeld. Before then, I did my PhD at KTH Royal Institute of Technology, advised by Mads Dam.
Drop me a line if interested in giving a talk at KTH Security Seminar
New course in Language-Based Security
Activities: CCS 2021 (PC), EuroS&P 2021 (PC), CSF 2021 (PC), NordSec 2020 (PC), PLAS 2020 (PC), EuroS&P 2020 (PC), CSF 2020 (PC), SOFTENG 2020 (PC), CASTOR Software Days 2019 (co-chair security track), CSF 2019 (PC), EuroS&P 2019 (local organizer), NordSec 2019 (PC), JPF 2019 (PC), POST 2019 (PC), NordSec 2018 (PC), IFIPTM 2017 (co-chair of Graduate Symposium), FCS 2017 (PC), Nordsec 2017 (PC)