This page has moved to hanusa.xyz/research.html.