Léo Ducas
This page has moved here
http://homepages.cwi.nl/~ducas"