add hugo-micro-json for showing last_updated at /micro.json
[~bandali/bndl.org] / 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"