arigo@tunes.org Armin Rigo is a Ph.D.-ing mathematical logic researcher. He lived and studied math in Switzerland moving to Brussels Free University and most recently to Southampton, UK. As a long-time hacker he completed several large projects (notably in 3D gaming) and zillions of small ones, and he is now drifting to work on the fundamentals of programming.