Sharedwww / job / SteinCV.texOpen in CoCalc
%CV.tex -- the ultimate CV LaTeX file, September 1999.
\documentclass[12pt]{article}
\newcommand{\myname}{William A.\ Stein}
\newcommand{\phone}{(510) 883-9938}
\newcommand{\email}{{\tt was@math.berkeley.edu}}
\newcommand{\www}{{\tt http://math.berkeley.edu/\~{\mbox{}}was}}
\newcommand{\address}{2041 Francisco Street, Apt.\ 14\\
Berkeley, CA  94709\\
USA}


\textwidth=1.2\textwidth
\hoffset=-3em

\usepackage{fancyhdr,ifthen}
\pagestyle{fancy}
\cfoot{}  % no footers (in pagestyle fancy)
% running left heading
\lhead{{\bfseries\LARGE\em \noindent{}\hspace{-.2em}\myname{}}
        \hfill \today{}\vspace{2ex}\\}
% running right heading
\rhead{\em {\small{\phone{}}} \,\,\,$\bullet$\,\,\, \email{} \,\,\,$\bullet$
\,\,\, \www{}\hspace{.67em}}
% adjust, because the header is now taller than usual.
\setlength{\headheight}{6ex}


% bulleted list environment
\newenvironment{bulletlist}
   {
      \begin{list}
         {$\bullet$}
         {
            \setlength{\itemsep}{0ex}
            \setlength{\parsep}{0ex}
            \setlength{\leftmargin}{1em}
            \setlength{\parskip}{0ex}
            \setlength{\topsep}{0ex}
         }
   }
   {
      \end{list}
   }
%end newenvironment

% bold sans-serif label for margin labels.
\newcommand{\marginlabel}[1]{\textsf{\textbf{#1}}}
%\newcommand{\marginlabel}[1]{\textsc{\textsc{#1}}}
\newcommand{\entrylabel}[1]{\mbox{\marginlabel{#1}}\hfill}

\newcommand{\MainListlabel}[1]
   {
      \parbox[t]{\labelwidth}{\hspace{.8em}\marginlabel{#1}}
   }

% a list with fixed width marginlabels.
\newenvironment{MainList}[1]
   { 
      \renewcommand{\entrylabel}{\MainListlabel}
      \begin{list}{}
      { 
         \renewcommand{\makelabel}{\entrylabel}
         \setlength   {\itemindent}{-.65em}
         \setlength   {\labelwidth}{#1}
         \setlength   {\leftmargin}{\labelwidth}
         \setlength   {\itemsep}{1ex}
      }
   }
   {
      \end{list}
   }
%end newenvironment


\begin{document}

\begin{MainList}{104pt}

\item [EDUCATION]
\begin{bulletlist}
\item {\bf University of California at Berkeley}\\
Ph.D., mathematics, expected May 2000.\\
{\bf Explicit approaches to modular abelian varieties}\vspace{-2ex}\\

\item {\bf Northern Arizona University}, Flagstaff.\\
M.S. student, mathematics, 1994--1995.\\
B.S., mathematics, 1994.
\end{bulletlist}


\item [AWARDS]
\begin{bulletlist}
\item Cal@SiliconValley university fellowship, 1999--2000.
\item Sarah M.\ Hallam department fellowship, Spring 1999.
\item Vice Chancellor research grant (computing equipment), 1999.
\item Graduate student researcher, Fall 1998.
\item Outstanding mathematics senior, 1994.
\item Applied math modeling contest, meritorious ranking, 1994.
\end{bulletlist}


\item [IN PROGRESS] 
%  Some of the following items can be obtained from\\
%  \mbox{} 
%    \hspace{2em} {\tt http://shimura.math.berkeley.edu/\~{}was/Tables}
\begin{bulletlist}
  \item {\em Lectures on Serre's conjectures},  
     with K.\thinspace{}A.~Ribet, to appear in the 
     IAS/Park City Mathematics Institute Lecture Series.
  \item {\em Mod~$5$ approaches to modularity of icosahedral 
      Galois representations}, with K.\thinspace{}M.~Buzzard.
  \item {\em Explicit approaches to modular abelian
     varieties}, UC Berkeley Ph.D.\ thesis 
     under H.\thinspace{}W.~Lenstra.
  \item {\em Hecke: The modular forms calculator}, computer software.
  \item {\em The modular forms database:}\\
      \mbox{}\hspace{3em} 
         {\tt http://shimura.math.berkeley.edu/\~{}was/Tables}
  \item {\em Component groups of optimal quotients 
            of Jacobians}.
  \item {\em Visibility of Shafarevich-Tate 
       groups of modular abelian varieties}, with A. Agash\'{e}.
  \item {\em Computing analytic invariants of modular eigenforms},
        with H.~Verrill.
  \item {\em Lectures on modular forms and
        Galois representations}, with K.\thinspace{}A. Ribet, 
       intended for Springer-Verlag's Universitext series.
  \end{bulletlist}

\item [PUBLICATIONS]
 \begin{bulletlist}
 \item {\em Empirical evidence for 
     the Birch and Swinnerton-Dyer conjectures for modular Jacobians of 
     genus 2 curves}, with E.\thinspace{}V.~Flynn, F.~Lepr\'{e}vost, 
     E.\thinspace{}F.~Schaefer,
     M.~Stoll, J.\thinspace{}L.~Wetherell,  submitted.
  \item {\em Parity structures and generating functions from Boolean rings},
        with D.\thinspace{}P.~Moulton, submitted.
  \item {\em Fallacies, Flaws, and 
         Flimflam \#92:   An Inductive Fallacy}, 
     with A.~Riskin,  College Math.\ Journal 26:5 (1995), 382.
 \end{bulletlist}

\newpage
\item [TEACHING]
{\bf NSF Sponsored IAS/Park City Mathematics Institute}
\begin{bulletlist}
\item {\em Teaching Assistant}, Summer 1999. Led problem sessions
and prepared notes for Ken Ribet's course on Serre's
conjectures for advanced number theory graduate students.
\end{bulletlist}
{\bf University of California at Berkeley}
\begin{bulletlist}
 \item {\em Curriculum Development}, Fall 1997--Summer 1998.  Developed 
 curriculum materials and {\sc Matlab} software for workshop based 
calculus and linear algebra courses at UC Berkeley.
 \item {\em Instructor}, Summer 1997. Taught discrete mathematics to 
a class of 20--30 undergraduates. Duties included preparing and delivering 
lectures, writing and grading exams, and conducting office hours. 
 \item {\em Teaching Assistant}, Fall 1995--Spring 1997.
  Led discussion sections for the full range of undergraduate 
  linear algebra and calculus courses.
 \item {\bf Evaluation average: 5.8 out of 7 from  300 students.}
\end{bulletlist}
{\bf Northern Arizona University}
\begin{bulletlist}
 \item {\em Teaching}, 1994--1995. Taught two semesters
of college algebra and other freshman topics to a class 
of 30--40 undergraduates.
Duties included all aspects of organizing a course, including
preparing and delivering lectures and grading examinations.
\end{bulletlist}

\item [LECTURES]
\begin{bulletlist}
\item Delivered over twenty talks and organized graduate student 
seminars on modular forms and abelian varieties
at UC Berkeley.
\item {\em Participant in panel discussion on the use of technology
in the classroom},
Park City Math.\ Inst., July, 1999.
\item {\em Demonstrations of number theory software},
Park City Math.\ Inst., July, 1999.
\item {\em Shafarevich-Tate groups of modular abelian varieties},
Park City Math.\ Inst., June, 1999.
\item {\em Shafarevich-Tate groups of modular abelian varieties},
Advances in Number Theory, Leiden, Netherlands, April, 1999.
\item {\em Visibility of Shafarevich-Tate groups},
Arizona Winter School, 1999.
\end{bulletlist}

\item [COMPUTING]
Extensive experience with {\tt C++}, UNIX, {\sc Magma}, and PARI.

\item [ADDRESS]
\address{}

\item [PERSONAL]
US Citizen, born February, 1974.


\newpage
\item [REFERENCES]
\begin{bulletlist}


\item {\bf Kevin M. Buzzard}\\
{\em +44 207 594 8523}\\
Department of Mathematics\\
Huxley Building\\
Imperial College\\
180 Queen's Gate\\
London, SW7 2BZ\\
England\\
{\tt buzzard@ic.ac.uk}
\vspace{1ex}
\item {\bf Professor Robert Coleman}\\
{\em (510) 642-5101}\\
Department of Mathematics \#3840\\
University of California\\
Berkeley, CA 94720-3840\\
{\tt coleman@math.berkeley.edu}
\vspace{1ex}
\item {\bf Professor Hendrik W. Lenstra}\\
{\em (510) 643-7857}\\
Department of Mathematics \#3840\\
University of California\\
Berkeley, CA 94720-3840\\
{\tt hwl@math.berkeley.edu}
\vspace{1ex}
\item {\bf Professor Barry Mazur}\\
{\em (617) 495-2171 ext.~512}\\
Department of Mathematics\\
Harvard University\\
One Oxford Street\\
Cambridge, MA  02138\\
{\tt mazur@abel.math.harvard.edu}
\vspace{1ex}
\item {\bf Professor Lo\"\i{}c Merel}\\
{\tt merel@math.jussieu.fr}
\vspace{1ex}
\item {\bf Professor Kenneth A. Ribet}\\
{\em (510) 642-0648}\\
Department of Mathematics \#3840\\
University of California\\
Berkeley, CA 94720-3840\\
{\tt ribet@math.berkeley.edu}
\end{bulletlist}

\newpage
\item [ABSTRACTS]
\begin{bulletlist}
\item  {\em Lectures on Serre's conjectures (77 pages):}
This is an expository paper based on Ken Ribet's lectures at 
the 1999 Park City Mathematics Institute; it will be 
published in the conference proceedings.

\item \vspace{1ex}{\em Mod~$5$ approaches to modularity of icosahedral
Galois \nobreak{representations} (16 pages):} 
Consider a continuous odd irreducible representation
$\rho:\mbox{\rm Gal}(\overline{\mathbf{Q}}/\mathbf{Q})
    \rightarrow\mbox{\rm GL}_2(\mathbf{C}).$
A special case of a general conjecture of Artin
is that the $L$-function $L(\rho,s)$ associated to~$\rho$
is entire.  
Buzzard and I give new examples of representations~$\rho$ that satisfies 
this conjecture.  These were obtained by applying a recent 
theorem of Buzzard and Taylor to a mod~$5$ reduction of~$\rho$,
combined with a computational verification of modularity of a 
related mod~$5$ representation.  

\item \vspace{1ex}{\em Explicit approaches to modular abelian 
varieties (130 pages):}
I give algorithms for computing on modular  
abelian varieties of any dimension.
More precisely, I describe how to compute congruences, the modular degree,
the rational part of the special value of the $L$-function and
of its twists, the component group at primes of multiplicative
reduction, the period lattice, and the real and imaginary volumes.
There are still many invariants that I have not been able to
compute in all cases, including the exact structure of the torsion
subgroup and the regulator.
The second part of my thesis contains 
investigations into several open problems, including
the Birch and Swinnerton-Dyer conjecture, Artin's conjecture
on complex Galois representations, and Serre's conjecture. 

\item\vspace{1ex} {\em Hecke: The modular forms calculator:}
Hecke is a {\tt C++} package for computing with spaces of modular forms
and modular abelian varieties.
I have been invited to visit the {\sc Magma} group in 
Sydney in order to make Hecke a part of their computer 
algebra system, and I have already ported my code to {\sc Magma}.

\item\vspace{1ex} {\em The modular forms database:}
This is a collection of modular eigenforms,
special values of $L$-functions, arithmetic invariants of
modular abelian varieties, and other data. 
These tables, which are freely 
available on the Internet, have already been used 
by many people.

\item\vspace{1ex} {\em Component groups of optimal quotients of Jacobians (16 pages):}
Let~$A$ be an optimal quotient of~$J_0(N)$.
The main theorem of this paper gives a relationship between
the modular degree of~$A$ and the order of the component group
of~$A$.  From this I deduce a computable formula for the
component group of any optimal \nobreak{quotient} 
of~$J_0(N)$ at a prime of multiplicative 
reduction.  I then compute over one \nobreak{thousand} 
examples leading me
to conjecture that the torsion and component groups of 
quotients of $J_0(p)$ are as simple as possible.

\item\vspace{1ex} {\em Visibility of Shafarevich-Tate 
       groups of modular abelian varieties (20 pages):}
We study Mazur's notion of visibility 
of Shafarevich-Tate of modular \nobreak{abelian} varieties,
and use it to verify the conjecture of Birch and Swinnerton-Dyer
for several specific abelian varieties.

\item\vspace{1ex}  {\em Lectures on modular forms and
Galois representations (170 pages):} In 1996,  Ken Ribet taught an
advanced  course on modular forms and Galois representations.  
In collaboration with Ribet, I am 
turning my course notes into a book that is intended for 
publication in Springer-Verlag's Universitext series. 

\item\vspace{1ex} {\em Empirical evidence for the Birch and 
Swinnerton-Dyer conjecture for modular Jacobians 
of genus~2 curves (22 pages):}
We provide systematic numerical evidence for the BSD conjecture
in the case of dimension two.
This conjecture relates six quantities associated to
a Jacobian over the rational numbers.  One of these 
quantities is the size~$S$ of the Shafarevich-Tate group. 
Unable to compute~$S$ directly, we compute the five other 
quantities and solve for the conjectural value~$S_?$ of~$S$.
For all 32~curves considered, the real number~$S_?$
is very close to either~$1$,~$2$, or~$4$, and
agrees with the size of the 2-torsion of the 
Shafarevich-Tate group, which we could compute.

\item\vspace{1ex} {\em Parity structures and generating functions from Boolean rings
\hspace{.2em}(8 pages):}
Let~$S$ be a finite set and~$T$ be a subset of the power set of~$S$.
Call~$T$ a {\em parity structure} for~$S$ if, for
each subset~$b$ of~$S$ of odd size, the number of subsets of~$b$
that lie in~$T$ is even.  We classify parity structures using generating
functions from a free boolean ring.
We also show that if~$T$ is a parity structure, then, for each
subset~$b$ of~$S$ of even size, the number of subsets of~$b$ of
odd size that lie in~$T$ is even.  We then give several other
properties of parity structures and discuss a generalization.                 
\end{bulletlist}


\end{MainList}
\end{document}













%There are 9 lectures: Introduction to Serre's conjectures;
%The weak and strong conjectures; The weight in Serre's conjecture;
%Galois representations from modular forms; Introduction to level lowering;
%Approaches to level lowering; Mazur's principle; Level lower 
%without multiplicity one; Level lowering with multiplicity one;
%Other directions.