Listen
Professional Biography
After receiving his doctoral degree in mathematics at Uppsala University
in 1998, proving that the Lorenz attractor exists, Tucker spent two years at IMPA (Rio de Janeiro, Brasil) as a postdoctoral fellow.
During the years 2000 to 2002, Tucker held a H.C. Wang assistant professorship at Cornell University (Ithaca, USA) teaching and doing research in mathematics. During this period, Tucker was awarded the Swedish Mathematical Society's Wallenberg Prize, and the R.E. Moore Prize for Applications of Interval Analysis.
Upon his return to Sweden, Tucker was awarded a five-year research fellowship from the Swedish Royal Academy of Sciences.
In 2004, Tucker was awarded the European Mathematical Society's Prize for distinguished contributions in Mathematics.
In 2007, Tucker formed the CAPA group at the University of Bergen (Bergen, Norway). In 2009, the group moved to its current location at Uppsala University.
Tucker was promoted to full professor in 2011.
Members
Principal investigator
Research Associate
Denis Gaidashev
Dynamical Systems, renormalization, period doubling.
PostDocs
Jordi-Lluis Figueras
Computer-aided proofs in Dynamical Systems.
Hanna Härdin
Computational drug target analysis of the leukotriene B_4 signalling network
involved in atherosclerosis.
Mioara Joldes
Polynomial-based tools for rigorous computing.
Ph.D. students
Ferenc Bartha
Computer-aided proofs for boundary value problems.
Alexander Danis
Set-valued constraint propagation, with applications to pharmacokinetics.
Alumni
Oswald Fogelklou [PhD student 2006-2012]
Computer-aided proofs for the viscous Euler equations.
Tomasz Kapela [Postdoc 2009-2011]
Computer-aided proofs in Hamiltonial dynamics.
Peter Gennemark [Postdoc 2008-2011]
Rigorous experimental design for pharmacokinetics.
Tomas Johnson [PhD student 2005-2009]
Computer-aided proofs in Dynamical Systems.
Daniel Wilczak [Postdoc 2007-2010]
Computer-aided proofs in Dynamical Systems.