BFS-project: Computer Aided Proofs in Mathematical Analysis
Department: Department of Mathematics
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, and made Head of Department in 2014.