git.shemshak.org - ~bandali/bndl.org/blob - index.md

   1 <div class="picture"><img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" width="112" height="112" alt="Amin Bandali"></div>
   2
   3 # Amin <span>Bandali</span>
   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 ---
  11
  12 - [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
  13
  14
  15 [watform]: https://watform.uwaterloo.ca
  16 [nday]: https://cs.uwaterloo.ca/~nday/