dnl -*- html -*-
-define(__title, `Amin Bandali''`s Personal Site')dnl
+define(__title, `Bandali''`s Personal Site')dnl
define(__slug, `home')dnl
define(__nts)dnl
include(header.html)dnl
<section id="intro">
-<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
<a href="//cs.uwaterloo.ca/~nday/">Nancy Day</a>.
The main goal of my research is
improving <strong>software and systems reliability</strong>