David Charlton
781-718-2625
dcharlton@gmail.com
 1626 Commonwealth Ave Apt. 22
Brighton, MA 02135

Education

Boston University, Boston, MA
Spring 2005 - Present
PhD Program specializing in Theoretical Computer Science

Carnegie Mellon University, Pittsburgh, PA
Fall 2000 - Spring 2004
B.S. in Computer Science, 2004, with a minor in Mathematics. QPA of 3.5 (3.65 major)
Graduated with SCS College and University Honors

Research/Publications

Senior thesis, Carnegie Mellon University: "On the Hardness of Uniform Random Generation," advised by Manuel Blum and Ryan Williams.

"Crystallization and phasing of alanine dehydrogenase from Archaeoglobus fulgidus." N. Smith, M. Mayhew, H. Robinson, A. Heroux, D. Charlton, M.J. Holden and D.T. Gallagher (2003) Acta Crystallographica D59, 2328-31

"X-ray topography of microgravity-grown ribonuclease S crystals." D.T. Gallagher, C. Stover, D. Charlton, L. Arnowitz, and D. Black (2003) Journal of Crystal Growth 255, 403-413

Honors/Awards

Boston University Presidential Fellowship 2005

NSF Fellowship Honorable Mention 2004 and 2006

Carnegie Mellon SCS Senior Leadership Award 2004

Microsoft Scholar, 2002-2003 and 2003-2004

First place, East Central North American division, ACM programming competition 2002 (CMU team)

Work Experience
Hobnob Inc., Pittsburgh, PA    May - December 2004
Senior Software Engineer. Developed user-mode systems to handle IEEE standard secure network authentication protocols on OpenBSD. Modified OpenBSD kernel source code to customize behavior on dedicated network hardware. Customized tools to detect security holes in remote systems. Performed network design and maintenance as needed.
Microsoft, Redmond, WA    Summer 2002 and 2003
Internship position. Helped write developer APIs and tools for the upcoming "Longhorn" Windows release. Documented these APIs. Arranged meetings with program managers and other developers to determine the specifications for the APIs and tools.
Carnegie Mellon University, Pittsburgh, PA    2001-2004 school years
TA for 15-212, Principles of Programming, Fall 2001 and 2002. TA for 15-351, Theoretical Ideas in Computer Science, Fall 2003. TA for 15-213, Introduction to Computer Systems, Spring 2004. Taught recitations, wrote and graded homework assignments, worked on class material with students outside of class.
TAA for 33-112, Physics II for Science Students, Spring 2002. Helped students work through problems in recitations and course centers. Graded homework assignments.
Trilogy, Austin, TX   Summer 2001
Internship position. Extended existing GUI framework for Trilogy applications to support recording, playback, and verification of user input to allow automated testing of client/server interaction.
Global Science and Technology, Greenbelt, MD    Summer, Winter 2000
Internship position. Worked on the development and porting of TCP/IP and SCPS protocol stacks to Linux and VXWorks, for NASA contract involving network protocol experiments in satellites. Developed Linux kernel modules for SCPS protocol stack. Developed gateway software to route between TCP/IP and SCPS protocols.
BioSpace International, Inc., Gaithersburg, MD    May 1999 - May 2000
In collaboration with NIST employees, helped research and crystalize proteins, with the goal of solving their molecular structure. Assisted in the development of Dynamically Controlled Crystalization System (DCCS) hardware. Developed DCCS experiments for space shuttle flights. Wrote UNIX software to control the DCCS systems through a PC.