About Me
| |
I am an Assistant Professor and a WASP faculty, 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), where I was previously a PostDoc. I did my PhD in computer science at the School of Computer Science and Communication at KTH Royal Institute of Technology. My research interests include security of systems software, formal methods and program logics, interactive theorem proving, machine code analysis, and applied machine learning. |
