Research visit in Tokyo

Abstract

I had the amazing chance to spend three months in Tokyo working together with Ichiro Hasuo’s team at the National Institute of Informatics. I worked on deontic logic applied to autonomous driving cars.