cv | now | projects | contact |

Hello there,

Amin Bandali

I’m a graduate student in the WatForm group at University of Waterloo, supervised by Dr. Nancy Day. I’m interested in using formal methods, especially type systems, to help make software more reliable.

Recent writings

Talks & presentations