Amin Bandali

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.

Publications

Talks & presentations

Recent writings & essays