I'm a researcher in formal methods with an amateur interest in set theory, large cardinals, algebraic geometry, scheme theory, and HoTT.