add paper authors (#542)

Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>

Author: fpvandoorn

paper/main.tex

@@ -34,7 +34,76 @@
 \addbibresource{references.bib}
 
 \title{\textbf{Formalizing Carleson's Theorem in Lean}}
-\author{Authors}
+\author[Becker et al.]{Lars Becker}
+\address{Lars Becker,
+	University of Bonn}
+\email{becker@math.uni-bonn.de}
+
+\author[]{Mar\'ia In\'es de Frutos-Fern\'andez}
+\address{Mar\'ia In\'es de Frutos-Fern\'andez,
+	University of Bonn}
+\email{midff@math.uni-bonn.de}
+
+\author[]{Leo Diedering}
+\address{Leo Diedering,
+	University of Bonn}
+\email{leo.diedering@uni-bonn.de}
+
+\author[]{Floris van Doorn}
+\address{Floris van Doorn,
+	University of Bonn}
+\email{vdoorn@math.uni-bonn.de}
+
+\author[]{S\'ebastien Gou\"ezel}
+\address{S\'ebastien Gou\"ezel,
+	University of Rennes}
+\email{sebastien.gouezel@univ-rennes1.fr}
+
+\author[]{Evgenia Karunus}
+\address{Evgenia Karunus,
+  University of Bonn}
+\email{lakesare@gmail.com}
+
+\author[]{Edward van de Meent}
+\address{Edward van de Meent,
+  University of Utrecht}
+\email{edwardvdmeent@gmail.com}
+
+\author[]{Pietro Monticone}
+\address{Pietro Monticone,
+University of Trento}
+\email{pit.monticone@gmail.com}
+
+\author[]{Jasper Mulder-Sohn}
+\address{Jasper Mulder-Sohn,
+	The Hague}
+\email{jasper.mulder@planet.nl}
+
+\author[]{Jim Portegies}
+\address{Jim Portegies,
+  Eindhoven University of Technology}
+\email{j.w.portegies@tue.nl}
+
+\author[]{Joris Roos}
+\address{Joris Roos,
+  University of Massachusetts Lowell}
+\email{joris\_roos@uml.edu}
+
+\author[]{Michael Rothgang}
+\address{Michael Rothgang,
+	University of Bonn}
+\email{rothgang@math.uni-bonn.de}
+
+\author[]{James Sundstrom}
+\address{James Sundstrom,
+	Baruch College}
+\email{james.sundstrom@baruch.cuny.edu}
+
+\author[]{Jeremy Tan}
+\address{Jeremy Tan,
+	National University of Singapore}
+\email{jtjierui@comp.nus.edu.sg}
+
 \date{\today}
 
 \begin{document}
@@ -63,7 +132,8 @@ \subsection{Related work}\label{subsec:rel_work}
 \end{itemize}
 
 \noindent \textit{Acknowledgement.}
-The authors acknowledge contributions in the form of small formalization additions,
+The authors are grateful to Asgar Jamneshan, Rajula Srivastava and Christoph Thiele for writing the mathematical paper [cite] and the blueprint [cite] on which this formalization is based.
+We furthermore acknowledge contributions in the form of small formalization additions,
 pointing out corrections to the blueprint,
 or supplying ideas to the Lean efforts by the following people:
 Michel Alexis,
@@ -81,9 +151,8 @@ \subsection{Related work}\label{subsec:rel_work}
 Andrew Yang, and
 Ruben van de Velde.
 
-L.B., M.I.d.F.F., L.D., F.v.D., M.R., R.S., and C.T. were funded by the Deutsche For\-schungs\-gemein\-schaft (DFG, German Research Foundation) under Germany's Excellence Strategy -- EXC-2047/1 -- 390685813.
-L.B., R.S., and C.T. were also supported by SFB 1060.
-A.J. is funded by the T\"UBITAK (Scientific and Technological Research Council of T\"urkiye) under Grant Number 123F122.
+L.B., M.I.d.F.F., L.D., F.v.D., M.R. were funded by the Deutsche For\-schungs\-gemein\-schaft (DFG, German Research Foundation) under Germany's Excellence Strategy -- EXC-2047/1 -- 390685813.
+L.B. was also supported by SFB 1060.
 J.R. was supported in part by NSF grant DMS-2154835 and a HIM fellowship for the Fall 2024 trimester program in Bonn.
 
 \section{The Metric Space Carleson theorem}\label{sec:main_thm}