[Homepage](http://www.andrew.cmu.edu/user/avigad/) [[nlab:Jeremy Avigad]] category: people