Amin Bandali

Hello there,

Amin Bandali

I’m Amin Bandali (often bandali or aminb on the interwebs). I’m currently a graduate student in the WatForm group at University of Waterloo, supervised by Nancy Day. My current research focuses on formal logic, model checking, and verification. On the side, I also dabble in Lean and Rust, and I enjoy hacking on Elisp.


Talks & presentations

Recent writings & essays