git.shemshak.org - ~bandali/bndl.org/blob - 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/