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.