titlepage.tex

\title{
  {\bf The Polarized Inverse Method}
  %{\it (First committee draft)}
}
\author{Sean McLaughlin}
\date{\today}
\Year{2015}
\trnumber{revision 0.0.1}

\committee{
  Frank Pfenning, Chair \\
  Jeremy Avigad \\
  Robert Harper \\
  Dale Miller, INRIA-Saclay \& LIX/Ecole Polytechnique \\
  Andr\'e Platzer
}

\support{This research was supported by
National Science Foundation grant NSF-0716469 (\emph{Manifest Security}) and
Air Force Research Laboratory grant FA87500720028 (\emph{Accountable Information
  Flow via Explicit Formal Proof})}

\disclaimer{Any opinions, findings, conclusions or recommendations
  expressed in this publication are those of the author and do not
  necessarily reflect the views of any sponsoring institution or
  government.}

\keywords{automated theorem proving, intuitionistic logic, inverse
  method, focusing, polarization, linear logic, ordered logic,
  constraint programming}

\maketitle

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "thesis"
%%% End: