Short CV

Born: August 15, 1974 in San Antonio, Texas

Currently residing in Amsterdam, The Netherlands

Education

Ph.D. in Mathematics, University of Amsterdam, 2009

B.Sc. in Mathematics with Computer Science, Massachusetts Institute of Technology, 1996

Experience

System Administrator, 2002-2003

Computer Science Department, Trinity University

San Antonio, Texas

Software Engineer, 1998-2001

Teradyne, Inc.

Boston, Massachusetts

Full CV available on request. Send mail to semmes2 AT gmail.com.

Thesis

My thesis is available online at:

http://www.illc.uva.nl/Publications/Dissertations/DS-2009-03.text.pdf

Unfortunately, I did not include an acknowledgment section (the thesis had already been sent to the printer).

Publications

Below you will find a list of my publications:

The extent of constructive game labellings (with Benedikt Loewe), Journal of Logic and Computation 17 (2007), p.285-293.

Multitape games, Interactive Logic, Selected Papers from the 7th Augustus de Morgan Workshop, London (2007), p.195-207.

A new proof of the Jayne-Rogers theorem (with Luca Motto Ros), Real Analysis Exchange, accepted for publication.