git.shemshak.org - ~bandali/bndl.org/blob - content/_index.md

   1 +++
   2 title = "Home"
   3 draft = false
   4 +++
   5
   6 I'm a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of Waterloo,
   7 supervised by [Dr. Nancy Day](https://cs.uwaterloo.ca/~nday/).  I'm interested in using formal methods,
   8 especially type systems, to help make software more reliable.
   9
  10 [//]: # "Exported with love from a post written in Org mode"
  11 [//]: # "- https://ox-hugo.scripter.co"