M ATTHEW P.

WAMPLER -D OTY
621 Garrett Pl, Apartment South 25, Evanston, Illinois, 60201 303-856-6811 matt@w-d.org

Education
N ORTHWESTERN U NIVERSITY PhD in Electrical Engineering and Computer Science (Concentration in Articial Intelligence and Machine Vision) U NIVERSITEIT VAN A MSTERDAM Masters of Science in Logic (Concentration in Mathematics) E VANSTON , IL Anticipated May 2014 A MSTERDAM , T HE N ETHERLANDS Fall 2008 Fall 2010

MSc thesis: Evidentialist Logic, supervised by Dr. Alessandra Palmigiano and Prof.dr J. F. A. K. van Benthem Funded by merit based Huygens Scholarship Overall GPA 8.37 / 10 Graduated Cum Laude U NIVERSITY OF R OCHESTER Bachelor of Science in Mathematics (GPA 3.84) Honors Bachelor of Arts in Philosophy (Concentration in Logic, GPA 3.83) Overall GPA 3.66 Graduated with highest distinction in Mathematics Graduated with highest distinction Philosophy Graduated Cum Laude Deans List R OCHESTER , NY 2008

Computer Expertise
Github Account: https://github.com/xcthulhu Imperative Languages: C, C++, O BJECTIVE C, JAVA, J AVASCRIPT, P ERL, P YTHON, M ATLAB /O CTAVE, UNIX Shells Concurrent Programming: POSIX Threads, CUDA, A PACHE H ADOOP, E RLANG, S OFTWARE T RANSACTIONAL M EMORY (H ASKELL, C LOJURE), IRQ handling (Linux Kernel & Embedded Designs), VHDL Functional Languages: OC AML, E RLANG, H ASKELL, C OMMON L ISP, C LOJURE, Mathematica, EL ISP, S CHEME iOS Developer Javascript/JQuery Developer, NodeJS Full Stack Engineer VHSIC Design: VHDL, NGS PICE, GEDA Formal Methods: I SABELLE /HOL, HOL-L IGHT, P ROVER 9 Databases: SQL, C OUCH DB, M ONGO DB
A Markup Languages: L TEX, HTML,CSS, JQ UERY Mathematica Certied

Work Experience
N OQSI A EROSPACE , LTD . Programmer/Engineer P INE , CO September 2010 July 2011

Developped of a novel apparatus for the precision pointing of satellites A poster was presented at the 2011 Cal Poly cubesat conference detailing this work: http://www.noqsi.com/images/poster_landscape.pdf Consulted for the Cosmic X-Ray Background Nanosatellite (ight computer development) http://www.cxbn.org/ R ESEARCH A SSISTANT IN F ORMAL M ATHEMATICS Student Researcher H ANOI , V IETNAM JuneAugust, 2009

Assisted in teaching a summer school introducing students to HOL-L IGHT Formalized arguments related to linear programs for the Flyspeck project (a computer assisted proof of the Kepler Conjecture) R ESEARCH A SSISTANT IN T HEORETICAL E CONOMICS AT PSU Student Researcher S TATE C OLLEGE , PA JuneAugust, 2008

Composed problems for the textbook Auction Theory by Vijay Krishna (2nd Ed, 2010) Acknowledged in the preamble of the latest edition R ESEARCH E XPERIENCE FOR U NDERGRADUATES IN M ATHEMATICS Researcher/Programmer/Engineer Researched evolutionary game theory and advised by Robert Muncaster of UIUC N OQSI A EROSPACE , LTD . Programmer/Engineer Developed convolution lter for backend of experimental - signal processor Developed module system for LSE (a dialect of F ORTH) MIT C ENTER FOR S PACE R ESEARCH Programmer C AMBRIDGE , MA Summers 2000-2004 P INE , CO Summers 2005-2006 C HAMPAIGN , IL JuneAugust, 2007

Introduced the rst linux computer to the team in building 37 working on the HETE2 space telescope Created CGI front end to data archives in Perl Worked on astrometry calculations for image processing

Publications
Lance M. Simmsa, J. Garrett Jernigan, Benjamin K. Malphrus, Roger McNeil, Keven Z. Brown, Tyler G. Rose, Luke Limc, Steve Anderson, Jeffrey A. Kruth, John P. Doty, Matthew Wampler-Doty, Lynn R. Cominsky, Kamal S. Prasad, Eric T. Thomas, Michael S. Combs, Robert T. Kroll, Benjamin J. Cahall, Tyler T. Turba, Brandon L. Molton, Margaret M. Powell, Jonathan F. Fitzpatrick, Daniel C. Graves, Stephen D. Gaalema, Shunming Sun, CXBN: A Blueprint for an Improved Measurement of the Cosmological X-Ray Background, SPIE Optics and Photonics Conference Proceedings (August 2012) Matthew Wampler-Doty and John P. Doty, A Reaction Sphere for High Performance Attitude Control (Poster), 8th Annual CubeSat Workshop (April 2011), http://noqsi.com/images/poster_landscape.pdf Matthew Wampler-Doty, The More You Know [Accepted] Matthew Wampler-Doty, Russells Awareness Logic [Submitted January 2011] Matthew Wampler-Doty, Evidentialist Logic (MSc Thesis, Amsterdam, North-Holland: Universiteit van Amsterdam, September 2010), http://www.illc.uva.nl/Publications/ResearchReports/MoL-2010-15.text.pdf Matthew Wampler-Doty, A Complete Proof of the Robbins Conjecture, The Archive of Formal Proofs (May 22, 2010), http://afp.sourceforge.net/entries/Robbins-Conjecture.shtml