[picture of pred]

John Tromp

     [picture of cuckoo cycle]        [picture of hard_to_construct]

Research Interests

Board Games and Artificial Intelligence, Algorithms, Complexity, Algorithmic Information Theory, Distributed Computing, Computational biology, and what not. Recently i've been designing a new Proof-of-Work system called Cuckoo Cycle. Less recent research has focused on the Combinatorics of Go, specifically counting the number of legal positions. I've been playing with a Lambda Calculus based utterly simple computer model. My Erdös number is 2, courtesy of Jeffrey Shallit, my favourite CS lecturer, who coauthored papers with both me and Erdös. A while ago I studied the complexity of OriMazes.

Recreational Interests

I guess I'm sort of addicted to the game of Go. Having learned the game at the age of 24, I've now reached the rank of 2 dan, hoping to one day make it to 3 dan. My personal Go page discusses logical rules and provides some tutorials. Chess used to be my favourite game, and I can still occasionally be tempted to play some blitz chess. A nice game of Risk can be quite enjoyable too, although it's a little difficult to find 2 or 3 playing partners.

When I was still a PhD student, under the supervision of Paul Vitányi, I thought of doing a thesis on the game of connect-4. Instead, I ended up working on distributed computing problems, and many other topics in my PhD research, which resulted in this thesis.

Since the early 90s, I've been fascinated by recumbent bikes. Check out this picture of a Green Machine, a design concept that in 2005 has finally been revived in a slightly different form. Since 2000, I am the proud owner of an Optima Condor. and got myself listed on Nederlandse Ligfietser Thuispagina's.

Weather permitting, I love to go inline skating on my Rollerblade Tempest 110.

Here's a picture of the apartment building I will move into this summer (2017).

I like to think of cute algorithms (or take other peoples') and write them in the absolute minimum amount of code, greatly obfuscating them in the process. See my programming pearls.

See my CD collection to get an idea of my taste in music.

A random collection of WWW-links

If your browser can preview postscript, have a look at my signature:
%!PS                         %  -John Tromp (http://tromp.github.io/)
42 42 scale 7 9 translate .07 setlinewidth .5 setgray/c{arc clip fill
setgray}def 1 0 0 42 1 0 c 0 1 1{0 3 3 90 270 arc 0 0 6 0 -3 3 90 270
arcn 270 90 c -2 2 4{-6 moveto 0 12 rlineto}for -5 2 5{-3 exch moveto
9 0 rlineto}for stroke 0 0 3 1 1 0 c 180 rotate initclip}for showpage
(when using ghostview make sure to turn off Antialias under State/gv Options or the colors won't show correctly)

nulkukel S S K(S(K(S S(S(S S K))))K)
You are visitor # of this page:-)