This is the website of Ethan Bodzioney. Here is where I post updates, personal thoughts, and essays.
I'm currently wrapping up my master's at the University of Toronto in Computer Science, advised by Ningning Xie. My research interests center around programming languages and formal verification. I'm particularly interested in type systems, semantics, logic, and interactive theorem provers (such as Lean).
Previously, I did my B.S. at University of Maryland, College Park where I worked with Leonidas Lampropoulos.