X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/2c35d3a8bdf9546f96d4a570595d0c9908d51eb5..627c9ae4805fd0b532d8a5b4760db74ba145f21b:/index.md diff --git a/index.md b/index.md index 7ca06bb..2f9060e 100644 --- a/index.md +++ b/index.md @@ -1,16 +1,23 @@ -
Amin Bandali
+

Hello there,

+Amin Bandali +
-# Amin Bandali +I'm a [graduate student][cs] 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. -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 + + +[cs]: https://cs.uwaterloo.ca/~abandali/ [watform]: https://watform.uwaterloo.ca [nday]: https://cs.uwaterloo.ca/~nday/