cv.tex

% Copyright 2019 Sean Leather (sean.leather@gmail.com)

\documentclass[11pt,a4paper,roman]{moderncv}
\include{common}
\include{personal}

%-------------------------------------------------------------------------------

\begin{document}

% Make title
\makecvtitle

%-------------------------------------------------------------------------------

% Commands for abbreviations

% See above
\newcommand\seeabovedesc{(\textit{See description above.})}

% Dates
\newcommand\daterange[2]{#1\,--\,#2}

% Cities
\newcommand\altamont{Altamont, Tennessee, USA}
\newcommand\austin{Austin, Texas, USA}
\newcommand\centurion{Centurion, South Africa}
\newcommand\chattanooga{Chattanooga, Tennessee, USA}
\newcommand\chippewafalls{Chippewa Falls, Wisconsin, USA}
\newcommand\london{London, UK}
\newcommand\portland{Portland, Oregon, USA}
\newcommand\pretoria{Pretoria, South Africa}
\newcommand\sanfrancisco{San Francisco, California, USA}
\newcommand\stlouis{St. Louis, Missouri, USA}
\newcommand\utrecht{Utrecht, The Netherlands}
\newcommand\whitemarsh{White Marsh, Maryland, USA}

% Universities
\newcommand\uu{Utrecht University}
\newcommand\wustl{Washington University in St. Louis}
\newcommand\wustlshort{Washington University}
\newcommand\ut{University of Texas at Austin}

%-------------------------------------------------------------------------------

\section{Professional Experience}

%-------------------------------------------------------------------------------

\subsection{Full-time}

\professionentry%
{\daterange{Jul 2015}{Dec 2016}}%
{Software Engineer}%
{Rheo Systems (Pty) Ltd}%
{\pretoria}%
{}%
{I worked on a workflow project management application for large-scale construction companies. I first joined to help with Haskell development and later became the primary developer for the application web frontend and backend.
\begin{itemize}[leftmargin=2em,nosep]
\item Developed the web frontend with GHCJS and Reflex and the backend with Yesod
\item Used PostgreSQL through the Persistent library and also created many SQL functions for optimizing our use of the database and for migration
\item Contributed to the Android application
  \begin{itemize}[leftmargin=2em,nosep]
  \item Converted the entire application to use the Realm mobile database
  \item Reviewed code and managed releases
  \end{itemize}
\item Worked on AWS operations including EC2 and Elastic Beanstalk with Docker containers as well as S3 for file storage
\end{itemize}}

\professionentry%
{\daterange{Dec 2013}{Apr 2015}}%
{Software Engineer}%
{Daggerboard, Inc. (Docmunch, doxIQ)}%
{\sanfrancisco{} (working remotely)}%
{}%
{I worked on web applications for extracting data from PDFs (Docmunch) and document hosting with analytics (doxIQ).
\begin{itemize}[leftmargin=2em,nosep]
\item Focused primarily on Yesod (Haskell) and MongoDB backend
\item Created Haskell libraries for web APIs (Box View, HubSpot, Marketo)
\item Extended and debugged TypeScript/AngularJS frontend
\item Worked on AWS operations including EC2 and Elastic Beanstalk with Docker containers
\end{itemize}}

\professionentry%
{\daterange{Jan 2006}{Oct 2007}}%
{Design Engineer}%
{Anue Systems}%
{\austin}%
{}%
{I developed embedded software in C/\cpplang{}, embedded web applications in C/HTML/JavaScript, and RTL test benches in Verilog.
\begin{itemize}[leftmargin=2em,nosep]
\item Designed low-level libraries with clean APIs for AVR microcontrollers, custom FPGA interfaces, real-time clocks, etc.
\item Designed an extensive Verilog test bench for custom RTL of a 10-gigabit Ethernet emulator
\item Introduced the first uses of AJAX and JavaScript libraries into the web interface development for embedded systems
\end{itemize}}

%-------------------------------------------------------------------------------
% NOTE! Page break to prevent the next subsection header from being alone at the
%       end of the page.
\newpage
%-------------------------------------------------------------------------------

\subsection{Internships and Co-ops}

\professionentry%
{\daterange{May}{Aug 2005}}%
{Performance Modeling Engineer}%
{IBM}%
{\austin}%
{}%
{I worked on the next-generation PowerPC architecture performance model.
\begin{itemize}[leftmargin=2em,nosep]
\item Developed a tool to improve the modeling methodology by screening the most important parameters with minimal simulations
\item Evaluated simultaneous multithreading (SMT) performance to find a speedup of several percentage points
\end{itemize}}

\professionentry%
{\daterange{May}{Aug 2004}}%
{Architecture Design Engineer}%
{Cray}%
{\chippewafalls}%
{}%
{I worked on the vector instruction scheduler for a mixed vector/scalar architecture.
\begin{itemize}[leftmargin=2em,nosep]
\item Developed tools for analyzing vector register dataflow in benchmark kernels
\item Modeled approaches to scheduling vector instructions to multiple on-chip clusters
\end{itemize}}

\professionentry%
{\daterange{Jun}{Aug 2003}}%
{Digital Hardware Design Engineer}%
{Rockwell Collins}%
{\whitemarsh}%
{}%
{I implemented interfacing logic in Verilog for controlling high-performance frequency conversion RTL in FPGAs.}

\professionentry%
{\daterange{May}{Aug 2002}}%
{Avionics Research and Development Engineer}%
{Boeing}%
{\stlouis}%
{}%
{I implemented a driver for touchscreen monitors in an embedded, real-time operating system (RTOS).}

\professionentry%
{\daterange{Aug}{Dec 2001}}%
{Avionics Test Engineer}%
{Boeing}%
{\stlouis}%
{}%
{I tested, debugged, and repaired custom electronics and firmware on single-board computers for the AV-8B avionics test bench.}

\professionentry%
{\daterange{Jan}{May 2001}}%
{Embedded Software Engineer}%
{Boeing}%
{\stlouis}%
{}%
{I designed, implemented, tested, and documented a cross-platform \cpplang{} framework for logging flight simulation network data on Irix, Windows, Solaris, and a Green Hills RTOS.}

\professionentry%
{\daterange{May}{Aug 1999}}%
{System Administrator \& Web Developer}%
{Higher Technology Services}%
{\chattanooga}%
{}%
{I managed x86 and SPARC Red Hat Linux servers and created marketing-oriented data-driven websites for customers in Perl.}

%-------------------------------------------------------------------------------

\subsection{Miscellaneous}

\professionentry%
{\daterange{May}{Jul 2001}}%
{Waterfront Director}%
{Skymont Scout Reservation}%
{\altamont}%
{}%
{I managed the staff and activities in the aquatics area at a Boy Scout summer camp.
\begin{itemize}[leftmargin=2em,nosep]
\item Trained boys to teach rowing, canoeing, and swimming
\item Instructed Scouts in lifeguarding
\end{itemize}}

%-------------------------------------------------------------------------------

\section{Education}

\educationentry%
{\daterange{Jan 2008}{present}}%
{PhD}%
{\uu}%
{\utrecht}%
{My research focuses on datatype-generic programming and program transformation
in functional programming languages.\newline{}%
Advisor: Johan Jeuring}

\educationentrygpa%
{\daterange{Aug 2003}{May 2006}}%
{MS in Electrical and Computer Engineering}%
{University of Texas at Austin}%
{\austin}%
{\textit{3.57/4.00}}%
{My courses focused on computer architecture, VLSI, hardware simulation,
performance evaluation, compilers, and programming language theory.}

\educationentrygpa%
{\daterange{Aug 1998}{May 2003}}%
{BS in Computer Science, BS in Computer Engineering}%
{\wustl}%
{\stlouis}%
{\textit{3.84/4.00}}%
{}

%-------------------------------------------------------------------------------
% NOTE! Page break to prevent the next subsection header from being alone at the
%       end of the page.
\newpage
%-------------------------------------------------------------------------------

\section{Academic Experience}

\newcommand\coursenote{{\fontspec[Scale=0.75]{GaramondPremrPro-Capt}{}[U]ndergraduate and [G]raduate courses (and optional year)}}

%-------------------------------------------------------------------------------

\subsection{Teaching}

\cvlistitem{\coursenote}

\teachingentry%
{Languages and Compilers (INFOB3TC)}%
{\uu}%
{U(2)}%
{Formal languages, grammars, parsing, and code generation with Haskell.
\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{Nov}{Dec 2012}
\item \daterange{Nov 2011}{Jan 2012}
\end{itemize}}

\teachingentry%
{Generic Programming (INFOGP)}%
{\uu}%
{G}%
{Datatype-generic programming with Haskell and Agda.
\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{Sep}{Nov 2012}
\item \daterange{Sep}{Nov 2011}
\end{itemize}}

%-------------------------------------------------------------------------------

\subsection{Teaching Assistant}

\cvlistitem{\coursenote}

\teachingasstentry%
{Generic Programming (INFOGP)}%
{\uu}%
{G}%
{\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{Sep}{Nov 2010}
\item \daterange{Apr}{Jul 2009}
\end{itemize}}

\teachingasstentry%
{Functional Programming (INFOFP)}%
{\uu}%
{U(2)}%
{Basics, lists, recursion, I/O, data structures, type classes, reasoning with Haskell.
\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{Nov 2009}{Feb 2010}
\end{itemize}}

\teachingasstentry%
{Languages and Compilers (INFOB3TC)}%
{\uu}%
{U(2)}%
{\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{Nov 2008}{Jan 2009}
\end{itemize}}

\teachingasstentry%
{Software Engineering (INFOSWE)}%
{\uu}%
{G}%
{Software life cycle, formal requirements, specification with Z, build/version management, aspect-oriented programming, and testing.
\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{Sep}{Nov 2008}
\end{itemize}}

\teachingasstentry%
{Computer Science II (CS~102G)}%
{\wustl}%
{U(1)}%
{Object-oriented programming concepts, exceptions, GUIs, threads, concurrency, synchronization in Java.
\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{Jan}{Apr 2000}
\end{itemize}}

\teachingasstentry%
{Programming Concepts and Practice (CS~504N)}%
{\wustl}%
{G(1)}%
{Object-oriented programming concepts, threads, basic algorithms in Java.
\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{Aug}{Dec 1999}
\end{itemize}}

%-------------------------------------------------------------------------------

\section{Advising, \uu}

\subsection{Master's Thesis}

\ccvitem{Jul 2013}{Joeri van Eekelen (co-advised with Johan Jeuring): Type-Changing Program Transformations with Pattern Matching}
\ccvitem{May 2013}{Tom Hastjarjanto (co-advised with Johan Jeuring): Strategies for Real-Time Video Games}
\ccvitem{Feb 2013}{Bram Schuur (co-advised with Johan Jeuring): A Type-Changing, Semantics-Preserving Program Transformation System}
\ccvitem{Aug 2009}{Eelco Lempsik (co-advised with Andres Löh): Generic Type-Safe \texttt{diff} and \texttt{patch} for Families of Datatypes}

\subsection{Experimentation Projects}

\ccvitem{2012}{Thijs Alkemade: Type Holes in GHC}

%-------------------------------------------------------------------------------

% Publications

\nocite{*}
\bibliographystyle{unsrt}
\bibliography{publications}

%-------------------------------------------------------------------------------

\section{Talks}

\talksentry%
{Aug 2013}%
{Dissecting Different Flavors of Generic Programming in One Haskell Universe}%
{Galois}%
{\portland}%
{}%
{A demonstration of three generic flavors in one sums-of-products library
\\
\url{https://github.com/spl/talks/tree/master/2013-08-galois}}

\talksentry%
{Jun 2012}%
{Generic Programming in Haskell}%
{Lambda Luminaries}%
{\centurion}%
{}%
{An introduction to datatype-generic programming and ``xformat''
\\
\url{https://github.com/spl/talks/tree/master/2012-06-lambda-luminaries}}

\talksentry%
{Nov 2011}%
{Generic Deriving in GHC 7.2}%
{Dutch Haskell Users Group}%
{\utrecht}%
{}%
{A common library for sums-of-products datatype-generic programming
\\
\url{https://github.com/spl/talks/tree/master/2011-11-dutch-hug}}

\talksentry%
{Sep 2009}%
{Extensibility and Type Safety in Formatting: The Design of ``xformat''}%
{Dutch Haskell Users Group}%
{\utrecht}%
{}%
{A solution to the \texttt{printf} problem
\\
\url{https://github.com/spl/talks/tree/master/2009-09-dutch-hug}}

\talksentry%
{Jul 2009}%
{Fun and Generic Things to Do with EMGM}%
{London Haskell Users Group}%
{\london}%
{}%
{Generic functions with ``Extensible and Modular Generics for the Masses''
\\
\url{https://github.com/spl/talks/tree/master/2009-07-london-hug}}

%-------------------------------------------------------------------------------

\section{Professional \& Technical Organizations}

\ccvitem[-1em]{\daterange{1999}{present}}{ACM
\begin{itemize}[leftmargin=2em,nosep]
\item 1999, 2000: Treasurer, \wustlshort{} student chapter
\item 2001: President, \wustlshort{} student chapter
\end{itemize}}

\ccvitem[-1em]{\daterange{2009}{2013}}{Dutch Haskell Users Group (``Dutch HUG'')
\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{May 2010}{Mar 2013}: Monthly Meeting Coordinator
\item Apr 2010, Apr 2012: Organized Dutch HUG Days (talks, hackathon)
\end{itemize}}

\ccvitem[-1em]{\daterange{2002}{2011}}{IEEE
\begin{itemize}[leftmargin=2em,nosep]
\item \daterange{2002}{2003}: Vice president, \wustlshort{} student chapter
\end{itemize}}

%-------------------------------------------------------------------------------

\section{Awards}

\ccvitem{2008}{NWO Grant for Real-Life Datatype-Generic Programming, \uu}
\ccvitem{2003}{Engineering Doctoral Fellowship, \ut}
\ccvitem{2003}{MCD Fellowship, \ut}
\ccvitem{1998}{Eagle Scout}

\end{document}