2f9060ee6bd28e638b0543944447338349afd470
[~bandali/bndl.org] / index.md
1 <h1 id="hello">Hello there,</h1>
2 <img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
3 <div class="clear"></div>
4
5 I'm a [graduate student][cs] in the [WatForm][watform] group at
6 University of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m
7 interested in using formal methods, especially type systems, to help
8 make software more reliable.
9
10 ## Recent writings
11
12 <!-- TODO: rss feed -->
13
14 - [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
15
16 ## Talks & presentations
17
18 - TODO
19
20
21 [cs]: https://cs.uwaterloo.ca/~abandali/
22 [watform]: https://watform.uwaterloo.ca
23 [nday]: https://cs.uwaterloo.ca/~nday/