CICM 2021: 14TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS
Alexander Best
Affiliation: Vrije Universiteit Amsterdam
Web page: http://alexjbest.github.io
Pages in this Program
Program
Program for Saturday, July 31st
Bio

Postdoc at VU Amsterdam, working on a mixture of number theory and interactive theorem proving.