- Hi, Iâm
- Amin Bandali,
- often just bandali around the web.
-
-
-
Academia
-
-
-
- Iâm a graduate student at WatForm
- at University of Waterloo, supervised by
- Dr. Nancy Day.
- My research at WatForm focuses on formal logic, model
- checking, and verification. See my research interests link
- above for more details.
-
Hi, I'm Amin. I am currently a graduate student at the
+Waterloo Formal Methods
+group at the University of Waterloo, supervised by
+Nancy Day.
+The main goal of my research is
+improving software and systems reliability
+through application of
+formal methods.
+
+
My research at WatForm focuses on formal logic, model checking, and
+verification. I am also interested in programming languages, proof
+assistants, and their type systems.