This is an abbreviated one-page CV. A full version is available upon request.