I will be spending a total of six weeks with the ERATO MMSD Project at the National Institute of Informatics in Tokyo, Japan. In this time (late October until early December) I hope to advance my knowledge and learn about the exciting topics that NII works on, such as falsification and runtime verification and monitoring.

It is a great honour to be awarded this chance and I am very grateful to NII for funding my trip. I am already excited about exchanging with the researchers there and participating in interesting discussions, I’m certain that I can learn a lot.

On the personal side, I am going to be eating tons of ramen and gyozas :-)

Tokyo on Map