(MSc History & Philosophy of Science, London School of Economics; B.S. Economics and A.B. Mathematics, Duke University) Justin is a second-year student in the Logic Group with strong interests in mathematical logic and theoretical computer science. He has not yet decided whether to go off in search of some nice technical theorems or write about the jazzier side of computer science from a philosophical point of view. For now, he finds this state of indecision most agreeable.