About Me

My name is Hezekiah Gabaldon, I am a Computer Scientist. I received my ECE Master of Science from Duke University (Quantum Computing Concentration) in 2024. My passion is research in alternate forms of computing and the corresponding logic in Type Theory. In 2025, I hope to start my PhD in Type Theory, studying dependent type systems such as the Univalent Foundations, and the correspondence of proofs to the programs we write. You can follow this link to view my resume. Otherwise, explore the links below to see some of my projects, each done independently. Enjoy your stay!