I am currently

• working on my final year project, contributing displayed categories to TypeTopology
• applying for PhDs
• trying to read 26 books in a year (again!)