About Me
I am an Assistant Professor at the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden. Prior to this, I was a Visiting Assistant Professor at Stanford University and a Research Group Leader at the Helmholtz Center for Information Security (CISPA). I did my PhD in computer science at the School of Computer Science and Communication at KTH Royal Institute of Technology under the supervision of Prof. Mads Dam. My research interests include security of systems software, formal methods and program logics, interactive theorem proving, machine code analysis, and applied machine learning. |