Add link to ~abandali on cs-general
[~bandali/bndl.org] / index.md
CommitLineData
3b86855a
AB
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>
2c35d3a8 4
627c9ae4
AB
5I'm a [graduate student][cs] in the [WatForm][watform] group at
6University of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m
7interested in using formal methods, especially type systems, to help
8make software more reliable.
2c35d3a8 9
3b86855a
AB
10## Recent writings
11
12<!-- TODO: rss feed -->
2c35d3a8
AB
13
14- [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
15
3b86855a
AB
16## Talks & presentations
17
18- TODO
19
2c35d3a8 20
627c9ae4 21[cs]: https://cs.uwaterloo.ca/~abandali/
2c35d3a8
AB
22[watform]: https://watform.uwaterloo.ca
23[nday]: https://cs.uwaterloo.ca/~nday/