-<p>Hi, I'm Amin. I am currently a graduate student at the
-<a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a>
-group at the University of Waterloo, supervised by
+<p>Hi, I'm bandali. I am a graduate student at the
+<a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a> group at
+the University of Waterloo, supervised by