Used to be a researcher on software verification, theoretical aspects of security & XML processing: http://scholar.google.co.jp/citations?user=Vq8IswQAAAAJ

Now writing a solver for combinatory optimization, don't know why...