Warwick Tucker

Research leader - CAPA - Computer-Aided Proofs in Analysis

Contact Information Office:  Ångström lab 14133 Phone:  +46 (0)18 471 33 18 Mobile:  +46 (0)70-229 84 34 Fax:  +46 (0)18 471 32 01 Email:  warwick@math.uu.se Post: Department of Mathematics Uppsala University Box 480 751 06 Uppsala Sweden

Quick Links: CDP  MathCal  bullen  bråket  travels  booking HPC@DTU  UPPMAX  Lunch

---

CV light:

• 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 -.
  
• 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:

• VR award 2005-3152 for CAPA - Computer-aided proofs in analysis, 2009 - 2013.
• BFS Recruitment Programme for Computer-aided proofs in analysis, 2007 - 2011.
• VR award 2005-3152 for 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.
• NFS Award DMS-0107242 for Auto-Validating Methods in Dynamical Systems, 2001 - 2004.
  

Current activities:

• My daughters, Nelly and Vera.
• Papers by me and papers about my work.
• I am the principal supervisor for Tomas Johnson , Oswald Fogelklou, Alexander Danis, and Ferenc Bartha
• A joint project with Andrew Hooker, Uppsala University, on pharmacokinetic modelling.
  
• A joint project with Zbigniew Galias, AGH-University, on dynamical systems.
  
• A joint project with Arnold Neumaier, University of Vienna, on optimization with differential constraints.
  
• A joint project with Gunilla Kreiss, Uppsala University, on existence proofs for viscous shocks.
  
• A joint project with Vincent Moulton, University of Norwich, on parameter reconstruction of metabolic pathways.
• A joint project with Irina Mitrea, University if Virginia, on spectral problems for Lamé systems.
• A joint project with Stefano Luzzatto, Imperial College, on dynamical systems.
• Research on Interval Computations , Chaos Theory, and Dynamical Systems.
• Reviewer for Mathematical Reviews and Elementa. 
• Referee for Annals of Mathematics, Trans. AMS,  J. Diff. Eq., Theoretical Biology and Medical Modelling, BIT,  Nonlinearity, Foundations of Computational Mathematics,  Ergodic Theory & Dynamical Systems, Computers & Graphics, and Discrete & Continuous Dynamical Systems.
  

Previous activities:

• During the Spring 2009, I gave a lecture on period doubling.
• During the Spring 2009, I gave an FMB course on Validated Numerics: AVNM I and AVNM II.
• Co-organizer of the PAM seminar, 2005-2007.
  
• During Fall 2006, I gave a lecture on Complex Systems.
• During Spring 2006, I gave a lecture on parameter reconstruction.
  
• Keynote speaker at the Swedish Mathematical Society's Fall meeting, 25-26 November, 2005.
  
• Organizer of the Workshop on Computational Dynamics, Santander, Spain, 30 June - 9 July 2005.
• During Spring 2005, I gave a course on fourier methods.
• At the ECM04, I gave a prize lecture on Validated Numerics.
• During the summer 2004, I gave a course on auto-validating numerical methods.
  
• During Spring 2004, I taught the course Chaotic Dynamical Systems.
• During Fall 2003, I taught the course fourier methods.
  
• During Spring 2003, I lectured on auto-validating numerical methods.
• I also gave public talks on genetic algorithms, and on interval arithmetic.
  
• Chairman of the Uppsala Mathematical Society, 1997 - 1998. 
• Member of the 2001 Cornell BRAIN team.
• Organizer for the Dynamics and Geometry Seminar, Cornell, 2001 - 2002.
• Organizer of the Workshop on Computational Dynamics at the FoCM'02 at the IMA, Minnesota.
• Participant of the Cornell math department annual Spring concert, 2002.
  
• Participant of the samba school Imperatriz - champions of the Rio de Janeiro carneval, 1999.
  

Selected Publications:

A rigorous lower bound for the stability regions of the quadratic map (with D. Wilczak), Physica D, 238(18):1923-1936, 2009.

Rigorous parameter reconstruction for differential equations with noisy data (with T. Johnson), Automatica, 44(9):2422-2426, 2008.

Estimating parameters for generalized mass action models using constraint propagation (with Z. Kutalik and V. Moulton), Math Biosci, 208(2):607-20, Aug. 2007.

Robust normal forms for saddles of analytic vector fields, Nonlinearity, 17, 1965-1983, 2004.

Some Counterexamples for the Spectral Radius Conjecture (with I. Mitrea), Differential and Integral Equations, 16:12, 1409-1439, 2003.

A Rigorous ODE solver and Smale's 14th Problem, Found. Comput. Math., 2:1, 53-117, 2002.

The Lorenz attractor exists (short version of my Ph.D. thesis), C. R. Acad. Sci. Paris, t. 328, Série I, 1197–1202, 1999.

Non-uniformly expanding dynamics in maps with singularities and criticalities (with S. Luzzatto), Publ. Math. IHES 89 , 179–226, 1999.

Last modified: June 16, 2009