a6dc1021433f704ae7136a4cc0e43546be95e2f8
[~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/). Currently, my research focuses on formal
8 logic, model checking, and verification.
9
10 [//]: # "Exported with love from a post written in Org mode"
11 [//]: # "- https://ox-hugo.scripter.co"