-<!--# include virtual="/common/header.html" -->
-<meta
- name="description"
- content="Amin Bandali is a graduate student at WatForm, the
- co-host of the Emacs.el podcast, a free software activist,
- and a volunteer webmaster for the GNU project."/>
-<title>Amin Bandali</title>
-<!--#set var="bpage" value="Home" -->
-<!--# include virtual="/common/banner.html" -->
-<main>
- <section>
- <h2 id="contact">Contact</h2>
- <table class="btable">
- <tbody>
- <tr>
- <th></th>
- <th>email</th>
- <th>projects</th>
- </tr>
- <tr>
- <td>academic</td>
- <td><a href="mailto:abandali@uwaterloo.ca">abandali@uwaterloo.ca</a></td>
- <td><a href="https://git.uwaterloo.ca/abandali">git.uwaterloo.ca/abandali</a></td>
- </tr>
- <tr>
- <td>personal</td>
- <td><a href="mailto:amin@shemshak.org">amin@shemshak.org</a></td>
- <td><a href="https://git.shemshak.org/amin">git.shemshak.org/amin</a></td>
- </tr>
- <tr>
- <td>gnu</td>
- <td><a href="mailto:mab@gnu.org">bandali@gnu.org</a>
- <td><a href="https://sv.gnu.org/u/bandali">sv.gnu.org/u/bandali</a></td>
- </tr>
- </tbody>
- </table>
- <p>
- See <a href="contact">contact</a> for more, and <a href="gpg">gpg</a>
- for sending me encrypted mail.
- </p>
- </section>
+<!--# set var="title" value="home" -->
+<!--# include virtual="/ssi/pre.html" -->
+<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
+<a href="//cs.uwaterloo.ca/~nday/">Nancy Day</a>.
+The main goal of my research is
+improving <strong>software and systems reliability</strong>
+through application of
+<a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>.</p>