## Tim Dokchitser, professor by special appointment of Computer Algebra

Prof. T. Dokchitser (1973) has been named professor by special appointment of Computer Algebra at the Faculty of Science at the University of Amsterdam (UvA). The chair was established on behalf of the Computer Algebra in the Netherlands Foundation (Stichting Computer Algebra Nederland, CAN). He combines this professorship with a position as professor at the University of Bristol.

Tim Dokchitser is an expert in computer algebra and computational number theory. The use of computer algebra has become an integral part of the mathematical research process since the 1960s. This field ranges from experimental, exploratory preliminary investigation and supporting research to the automated formal verification of mathematical proofs. Nowadays, computer algebra has become a broad research area that maintains strong connections with algebra, geometry and number theory as well as cryptography, logic and theoretical information.

Professor Dokchitser will conduct research into computer algebra, number theory and related areas. He will also offer intensive courses and workshops to train students from both the Master’s programme in Mathematics at the UvA and the national Mastermath programme – a partnership between the nine Dutch universities with a degree programme in mathematics or technical mathematics – in the use of computer algebra and to familiarise them with the role of computer algebra in research. Dokchitser will furthermore organise workshops on the development of computer algebra and its use in mathematical research.

Since 2013, Dokchitser has held the Heilbronn Chair in Algebraic/Arithmetic Geometry at the University of Bristol. He served as Royal Society University Research Fellow from 2006 to 2014. Dokchitser previously worked as a visiting scholar at the University of Sydney as well as a lecturer at the University of Edinburgh and Durham University. He is the editor of the *Glasgow Mathematical Journal* and the *International Journal of Number Theory.*