Erato MMSD Logo Japan Flag NII Logo


I’m very happy to announce that from 1 January 2020, I will be joining the ERATO MMSD Hasuo Project at the National Institute of Informatics in Tokyo, Japan. I have applied to this job a while ago, and after my great stay as Guest Researcher at NII, I am glad that I will return back in January.

I am looking forward to be working in the project’s Group 3, under the supervision of Prof Hasuo and Prof Ishikawa. While we are still evaluating the exact details of my daily work, the general theme will be in the area of testing, formal verification and falsification of highly complex cyber-physical systems such as automated driving systems. More details to follow…