X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/2c35d3a8bdf9546f96d4a570595d0c9908d51eb5..3b86855ad9d6cb03c093b48b9a2cbc57da5ddb08:/index.md?ds=inline
diff --git a/index.md b/index.md
index 7ca06bb..001b6c4 100644
--- a/index.md
+++ b/index.md
@@ -1,16 +1,22 @@
-
-
-# Amin Bandali
+Hello there,
+
+
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
+
+
- [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/