I’m Zack, a second-year Honors student at Northeastern University majoring in Computer Science and Mathematics.
I am interested in using tools from logic and math to reason about programming languages and type systems, increasing the safety and reliability of software. I’m currently thinking about how to use semantic models to effectively specify and verify properties of related to interoperability.
This website is a work in progress.
Zack is currently ...