Amin Bandali

Hi, I am Amin. I'm a Computer Scientist striving to make software more reliable through use of formal methods. I’m currently an undergraduate student at York University. My research interests are programming languages, type systems, and formal methods. I love functional programming.