| | 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/ |
projects / ~bandali / bndl.org / blame_incremental