-<div class="picture"><img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" width="112" height="112" alt="Amin Bandali"></div>
-
-# Amin <span>Bandali</span>
+<h1 id="hello">Hello there,</h1>
+<img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
+<div class="clear"></div>
I'm a graduate student in the [WatForm][watform] group at University
of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m interested in
using formal methods, especially type systems, to help make software
more reliable.
----
+## Recent writings
+
+<!-- TODO: rss feed -->
- [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
+## Talks & presentations
+
+- TODO
+
[watform]: https://watform.uwaterloo.ca
[nday]: https://cs.uwaterloo.ca/~nday/