Warwick TUCKER - Collegium de Lyon Thu, 05/07/2018 Portrait Professor of mathematics at Uppsala university, Sweden. Dates of stay: from 01/09/2017 to 30/06/2018 Research project: Computer-aided proofs – a hierarchical approach Portraits of Visiting Academics 2017-2018 Subject(s) Mathematics Keywords Research Visiting academics