\documentclass[10pt]{article}
\usepackage{fullpage}
\usepackage{setspace}
\pagestyle{empty}
%\addtolength{\oddsidemargin}{-.875in}
%\addtolength{\evensidemargin}{-.875in}
%\addtolength{\textwidth}{1.75in}

\addtolength{\topmargin}{-.875in}
\addtolength{\textheight}{1.75in}
\begin{document}
\setstretch{0.82}
\begin{center} 
{\bf \Large Matthew T. Brewer}\\
\end{center}

\noindent {\small 
mbrewer@club.cc.cmu.edu, \quad (413) 575-3588 \hfill 5840 Hobart Ave. Pittsburgh, PA. 15217}\\

\noindent {\bf \Large Education}
\vspace{0.15cm}\\
- B.S., Computer Science, minor in Math. Carnegie Mellon University, Pittsburgh, PA. 2006
\vspace{0.25cm}\\
\noindent {\bf \Large Skills}
\vspace{0.15cm}\\
- Proficient in SML, OCaml, C, C++, x86 assembly, Java, sh, \LaTeX\\
- Some experience in Matlab, Visual Basic, Pascal, Python, and others.\\
- *nix administration, Comfortable soldering, and with physical systems assembly.\\ 
- Algorithms design and usage, Logic/Type theory, and proofs.\\
- Teaching (including high school students, college level students, educators, senior citizens).
\vspace{0.25cm}\\
{\bf \Large Publications}
\vspace{0.15cm}\\
\begin{tabular}{lp{6.0in}}
$\bullet$& S. Uppala, D. R. Karuppiah, M. Brewer, S. Chandu Ravala, R.A. Grupen (2002)\\
&On Viewpoint Control. {\it proceedings IEEE ICRA}
\end{tabular}
\vspace{0.25cm}\\

\noindent {\bf \Large Experience}
\vspace{0.15cm}\\
{\bf CMU Operating Systems TA} - Fall 2006, Spring 2007
\vspace{0.1cm}\\
\begin{tabular}{lp{6.2in}}
$\bullet$& Helped to modify curriculum, wrote support code, helped students face to face, held office hours, and graded students work 
\end{tabular}
\vspace{0.15cm}\\
{\bf National Robotics Engineering Center} - Summer 2005
\vspace{0.1cm}\\
\begin{tabular}{lp{6.2in}}
$\bullet$& Ported existing LAGR mobile robot system (hardware and software) to use experimental Flash Lidar Cameras for obstacle detection/avoidance. This involved everything from rewiring the robot, to kernel driver hacking and testing and calibration of the cameras. We then demoed the system for a walk through tour at the Penn State Optics Lab. 
\end{tabular}
\vspace{0.15cm}\\
{\bf CMU Biorobotics Lab} - Summer 2004
\vspace{0.1cm}\\
\begin{tabular}{lp{6.2in}}
$\bullet$& Worked on a planning system for highly articulated robots. This involved development of a computational geometry library for computing local minima, and a test program in the form of a ray-tracer.
\end{tabular}
\vspace{0.15cm}\\
{\bf CMU Physics TAA} - Fall 2003/Spring 2004
\vspace{0.1cm}\\
\begin{tabular}{lp{6.2in}}
$\bullet$& For Matter and Interactions I and II - responsibilities include: grading, 
	holding office hours, and helping students during class.
\end{tabular}
\vspace{0.15cm}\\
{\bf UMASS Laboratory for Perceptual Robotics} - Summers 2000 through 2003
\vspace{0.1cm}\\
\begin{tabular}{lp{6.2in}}
$\bullet$& For a mobile robot, reimplemented Fox and Thrun's sonar-based localization algorithm, as well as designing and implementing an innovative two-layer harmonic function based path planning system.
\vspace{0.08cm}\\
$\bullet$& Rewrote the low-level robot interface for an RWI robot by combining CMU's GPL'd CARMEN project, and the GPL'd Player project. This also involved reverse engineering of the serial line protocol. The resultant code is now on SourceForge and in use at several other research institutions.
\vspace{0.08cm}\\
$\bullet$& As part of a group, built and demonstrated a system allowing a user to control a robot at various levels of abstraction via a wearable computing interface, including rendering the robot into a 3D model of the environment in real-time. 
\end{tabular}
\vspace{0.25cm}\\
\noindent {\bf \Large Relevant Coursework Includes}
\vspace{0.15cm}\\
\begin{tabular}{lp{6.2in}}
$\bullet$& Operating systems (15-410): Wrote a minimal operating system kernel with such basic functionality as virtual memory, a preemptable kernel, and preemptive scheduling.
\vspace{0.1cm}\\
$\bullet$& Hot Compilers (15-501): Wrote the upper levels of a compiler for SML. This includes type-inference, elaboration, phase-splitting, CPS conversion, and of course, type checking.
\vspace{0.1cm}\\
$\bullet$& Artificial Neural Networks (15-496): Studied, wrote, and experimented with various practical neural network systems, such as the ALVINN car driving project.
\vspace{0.1cm}\\
$\bullet$& Intensive Introduction to Computational Complexity Theory (15-855): Studied various models of computation and used them to analyze the computational difficulty of various problems.
\vspace{0.1cm}\\
$\bullet$& Lambda Calculus (21-805): Studied the mathematical perspective of the simply typed lambda calculus. 
%simply typed lambda calculus from the mathematical perspective.
\end{tabular}
\vspace{0.25cm}\\
\noindent {\bf \Large Interests}
\vspace{0.15cm}\\
- Provable/ultra-stable systems (microkernels).\\
- Parallel systems utilization.\\
- Type safe compilers, creating a higher order typed systems language.\\
- Neural networks research: Played with neural network, and other AI models since early high-school.\\
- Developer for PlayerStage robot interface library project on SourceForge.
\vspace{0.25cm}\\
\noindent {\bf \Large Future Plans}
\vspace{0.15cm}\\
- Interesting systems or type theory research or job.\\
- Eventually Grad School in Type Theory and Systems.\\
- Research, Teaching, and Open Source Development.
\end{document}
% LocalWords:  unpayed highschool alphas sparcs vax irix netBSD
