Information Outlets
of
Jie-Hong Roland Jiang
Research
Learning
Leisure
People
Miscellaneous
Verification
Tom Henzinger at
Berkeley
and
EPFL
Ken McMillan
Combinatorial games
Eric Demaine