\documentclass[11pt]{article}
\include{macros}
\newcommand{\thisdocument}{Biographical Sketch}
\begin{document}
%\maketitle
\head{Professional Preparation}%
\begin{center}
\begin{tabular}{lll}
% after \\: \hline or \cline{col1-col2} \cline{col3-col4} ...
\mbox{}\hspace{4.2ex}& Northern Arizona University\hspace{1.03in}\mbox{}& Mathematics, B.S. 1994 \\
& University of California at \textbf{Berkeley} & Mathematics, Ph.D. 2000 \\
& \textbf{Harvard University} & NSF Postdoc, 2000--2004 \\
\end{tabular}
\end{center}
\head{Appointments}
\begin{itemize}\setlength{\itemsep}{-0.8ex}
\item Professor of Mathematics (with tenure),
University of Washington, September 2010--present.
\item Associate Professor of Mathematics (with tenure),
University of Washington, September 2006--2010.
\item Associate Professor of Mathematics (with tenure),
UC San Diego, July 2005--June 2006.
\item Benjamin Peirce Assistant Professor of Mathematics,
Harvard University, July 2001--May 2005.
\item NSF Postdoctoral Research Fellowship
under Barry Mazur at Harvard University, August 2000--May 2004.
\item Clay Mathematics Institute Liftoff Fellow, Summer 2000.
\end{itemize}
\head{Most Relevant Publications}%
\begin{itemize}\setlength{\itemsep}{-0.8ex}
\item {\ptitle Toward a Generalization of the Gross-Zagier Conjecture}
(17 pages), 2010, to appear in Int.\ Math.\ Res.\ Notices.
\item {\ptitle Fast Computation of Hermite Normal Forms of Random
Integer Matrices} (16 pages), with Clement Pernet, 2010, to appear in
J. Number Theory.
\item {\ptitle Average {R}anks of
{E}lliptic {C}urves: {T}ension {B}etween {D}ata and {C}onjecture},
with B.~Bektemirov, B.~Mazur, and
M.~Watkins, Bulletins of the AMS {\bf 44} (2007), no. 2, 233--254.
\item \emph{Modular forms, a computational approach} (xvi+268 pp.)
Graduate Studies in Mathematics (AMS) 79
2007, with an appendix by Paul Gunnells.
%% Is this the same publication as the one at
%% http://www.ams.org/journals/mcom/2009-78-268/S0025-5718-09-02253-4/
%% ?
\item {\ptitle Verification of the Birch and Swinnerton-Dyer
Conjecture for Specific Elliptic Curves}, with G. Grigorov, A.
Jorza, S. Patrikis, and C. Patrascu (26 pages), 2005,
to appear in Mathematics of Computation.
\end{itemize}
\newpage
\head{Other Publications}%
\begin{itemize}\setlength{\itemsep}{-0.8ex}
\item {\ptitle Computation of $p$-Adic Heights and Log Convergence},
with B. Mazur and J. Tate (36 pages), Documenta
Mathematica, 2006, Extra Vol., 577--614.
\item {\ptitle The Manin Constant},
with A. Agashe and K. Ribet, Pure Appl. Math.,
(2006), no. 2., 617--636.
\item {\ptitle Studying the Birch and Swinnerton-Dyer Conjecture
for Modular Abelian Varieties Using Magma} (22 pages), a
chapter in the Springer--Verlag book ``Computational Experiments
in Algebra and Geometry''.%
\item {\ptitle Shafarevich-Tate Groups of Nonsquare Order},
Progress in Math., {\bf 224} (2004), 277--289, Birkhauser.
\item {\ptitle $J_1(p)$ has connected fibers}, with B.~Conrad and
B.~Edixhoven, Documenta Math., {\bf 8} (2003), 331--408.
\end{itemize}
\head{Synergistic Activities}
\begin{itemize}\setlength{\itemsep}{-0.5ex}
\item {\bf Research Tools:} Principal author of Sage, which is a major
new piece of software (over 100,000 lines of code by the PI). Author of the
modular forms, modular symbols, and modular abelian varieties parts
of the Magma computer algebra system (425 pages (26000 lines) of
code plus documentation).
%These
% are tools used by mathematicians who do computations with modular
% forms.%
\item {\bf Databases:} Created and maintain the Modular Forms
Database. This contains continually expanding data about
elliptic curves and modular forms:
{\tt http://www.wstein.org/Tables/}.
\item {\bf Outreach:} SIMUW 2006, 2007, 2008; Canada/USA MathCamp
mentor (2002); Several Math Circles talks in Boston.
\end{itemize}
\head{Collaborators and Other Affiliations}
\newcommand{\hl}[1]{#1}%
\begin{itemize}\setlength{\itemsep}{-0.5ex}
\item \textbf{Coauthors:} {\small A.~\hl{Agashe} (Florida State U.),
K.~\hl{Buzzard} (Imperial College, London), R.~\hl{Coleman} (UC
Berkeley), B.~\hl{Conrad} (Univ.~of Michigan), N.~\hl{Dummigan}
(Sheffield, UK), S.~\hl{Edixhoven} (Leiden, Netherlands),
F.~\hl{Lepr\'evost} (Univ.\ Joseph Fourier, Technische Univ.\
Berlin), E.\thinspace{}V. Flynn (Liverpool, UK), D.~\hl{Kohel}
(Univ.~of Sydney), B.~\hl{Mazur} (Harvard),
L.~\hl{Merel} (Paris 6), K.~\hl{Ribet} (UC
Berkeley), E.\thinspace{}F.~\hl{Schaefer} (Santa Clara Univ.),
M.~\hl{Stoll} (Inter.~Univ.~Bremen, Germany),
J.~\hl{Tate},
H.\thinspace{}A.~\hl{Verrill} (Louisiana State), M.~\hl{Watkins} (Bristol.),
J.\thinspace{}L.~\hl{Wetherell} (CCR, San Diego),
C.~\hl{Wuthrich} (Nottingham)}%
\item \textbf{Graduate and Postdoctoral Advisors:}\vspace{-1ex}
\begin{itemize}\setlength{\itemsep}{-0.5ex}
\item {\bf Ph.D. advisor:} Hendrik Lenstra, University of Leiden,
Netherlands.%
\item {\bf NSF Postdoctoral advisor:} Barry Mazur, Harvard
University.
\end{itemize}
\item \textbf{Thesis Students:} 3 Ph.D. students at UW:
Robert Bradshaw's 2010 Ph.D. on {\em Provable Computation of Motivic
$L$-functions}; Robert Miller's 2010 Ph.D. on {\em Computational Verification of
the Birch and Swinnerton-Dyer Conjecture};
currently advising Alyson Dienes's Ph.D. thesis.
Advised eight undergraduate senior theses at
Harvard and two at UW.
\end{itemize}
% \newpage
% \begin{center}
% \head{Biographical Statement}
% \end{center}
% \noindent{}William Stein will contribute to this project in both a
% research and managerial role. Stein has been a driving force over the
% last 10 years in applications of computation to research on modular
% forms, $L$-functions, and associated arithmetic objects. As director
% of the Sage project (http://sagemath.org), he has experience managing
% working groups and working with undergraduates on a wide range of
% projects.
% \vspace{2ex}
% \noindent{}{\bf Support Statement:}
% The proposed project naturally fits in with my other
% NSF-funded research on the Birch and Swinnerton-Dyer conjecture, from
% which I will receive 2 months summer support during the next 2 years
% and funding for travel and materials (DMS-0653968). I have also
% received an NSF grant (DMS-0703583) to support one postdoc for three
% years, who will work on developing exact linear algebra algorithms and
% implementations for Sage. I am a co-PI on the Arizona Winter School
% grant (DMS-0602287); this is a yearly 1-week 120-person graduate
% student workshop in arithmetic geometry, whose upcoming topics mesh
% well with the themes of the current proposal (e.g., the next theme is
% quadratic forms, and theta series of quadratic forms are modular
% forms). I will also be directing graduate and undergraduate research
% that is related to this project during the academic year, not just
% during the summer. Finally, I am also applying to the NSF FRG program
% for additional money to support a postdoc and workshops.
\end{document}