Curriculum vitae, last updated September 2019.