Short CV for general use.

Full CV with complete publication list, talks, teaching, and service record.