Hello. My name is Joseph, and this is my professional website. You can find my research, small projects, and blog posts on this website. My research interests include Lean4 proof assistant, Constructive Logic, and Applied Category Theory. I am presently applying for a Master's Degree in mathematics focusing on logic. Please use the sidebar panel to view the website's additional content.