Curriculum vitae (last updated Nov. 2018)