CV

Here is my resume, last updated August 2023.