"Computer-aided proofs in analysis"

Warwick Tucker - Professor of Mathematics

Warwick Tucker

Office: Ångström lab 14109
Phone: +46 (0)18 471 33 18
Mobile: +46 (0)70-722 93 63
Fax: +46 (0)18 471 32 01
Email: warwick@math.uu.se

Department of Mathematics
Uppsala University
Box 480
751 06 Uppsala
Sweden

Research

Dynamical systems, artificial intelligence, chaos theory, computer-aided proofs.

CV light

Head of School of Mathematics, Monash University, 2020 - .
Head of Department, Uppsala University, 2014 -2020.
Director, WASP Graduate School in Artificial Intelligence, 2018 - 2020.
Promoted to Professor of Mathematics, Uppsala University, 2011.
Research Fellow, Swedish Research Council, 2009.
Research leader for the CAPA group, University of Bergen, 2007.
Appointed Docent by Uppsala University, Sept 30, 2004.
Research Fellow (KVA) - Uppsala University, Sweden, 2003 - 2007.
Research Fellow - Uppsala University, Sweden, 2002 - 2003.
Adjunct Assistant Professor - Cornell University, USA, 2002 - 2003.
H.C. Wang Assistant Professor - Cornell University, USA, 2000 - 2002.
Postdoctoral Fellow - IMPA, Brazil, 1998 - 2000.
Ph.D. (The Lorenz Attractor exists) - Uppsala University, Sweden, 1998.
Born - Sydney, Australia, 1970.

Awards and grants

INRIA International Chair, 2019 - 2023.
VR grant 2018-04265: Abelian Integrals and Hilbert's 16th problem, 2019-2022.
STINT Joint Brazilian-Swedish Research Collaboration Programme, 2018 - 2020.
Institut d'études avancées de Lyon (IEA) Computer-aided proofs - a hierarchical approach, 2017-2018.
KAW grant 2014.0314: Guest Professor program in Mathematics, 2016.
KAW grant 2013.0315: Postdoctoral program in Mathematics, 2014-2016.
VR grant 2013-4964: Relative equilibria for the n-body problem, 2014-2017.
STINT Institutional Grants Programme, 2012 - 2016.
VR grant 2007-523: Computer-aided proofs for non-linear dynamical systems, 2008 - 2013.
VR grant 2008-7510: CAPA - Computer-aided proofs in analysis, 2009 - 2013.
BFS Recruitment Programme: Computer-aided proofs in analysis, 2007 - 2011.
VR grant 2005-3152: Auto-validating numerical methods for viscous shocks, 2006 - 2008.
The EMS Prize for distinguished contributions in Mathematics, 2004.
The Moore Prize for Applications of Interval Analysis, 2002.
The Swedish Mathematical Society's Wallenberg prize, 2001.
NSF Award DMS-0107242: Auto-Validating Methods in Dynamical Systems, 2001 - 2004.