My main interests are software verification and software engineering. In my Master's thesis and my Ph.D. thesis at ETH Zurich, I investigated different approaches for finding faults in multi-threaded programs. In particular, in joint work with NASA Ames I found that high-level data races can show potential problems in concurrent software even if individual data accesses are safe.
After obtaining my Ph.D., I moved to Tokyo, where I worked for two years at the National Institute of Informatics as a Postdoctoral Researcher. From April 2007 till July 2016, I worked as Senior Researcher at the National Institute of Advanced Industrial Science and Technology (AIST) in Tokyo and Osaka. From August 2016, I am Associate Professor at the KTH Royal Institute of Technology in Stockholm.
Lindstedtsvägen 3, Stockholm