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 in the [WatForm][watform] group at University
   6 of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m interested in
   7 using formal methods, especially type systems, to help make software
   8 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 [watform]: https://watform.uwaterloo.ca
  22 [nday]: https://cs.uwaterloo.ca/~nday/