I am Yutaka Nagashima.

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

Previously, I worked as postdoc 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.

My GitHub account is yutakang.