I am Yutaka Nagashima.

I work as a senior software engineer (research associate on theorem proving) in Cambridge, the UK.

Previously, I worked as research associate at Yale-NUS College in Singapore.

Before that, I worked as a junior researcher at the Czech Technical University in Prague and obtained a PhD degree from the University of Innsbruck.

Before that, I was working as an engineer at Data61, CSIRO and NICTA in Australia after graduating from the Technical University Munich.

Before going to Germany, I studied in Tokyo and did a 8 month internship in India.

My GitHub account is yutakang.