User:Tromp

Image:john0.jpg

My name is John Tromp.

I'm a dutch computer scientist formerly living in Amsterdam

and working at the Centre for Mathematics and Computer Science.

Since 2007 I work in Long Island, NY. For more details see my

[http://tromp.github.io/ homepage]