update current research focus
[~bandali/bndl.org] / content / _index.md
CommitLineData
ae39b0da
AB
1+++
2title = "Home"
3draft = false
4+++
5
6I'm a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of Waterloo,
c21b3fc3
AB
7supervised by [Dr. Nancy Day](https://cs.uwaterloo.ca/~nday/). Currently, my research focuses on formal
8logic, model checking, and verification.
ae39b0da
AB
9
10[//]: # "Exported with love from a post written in Org mode"
bdec7790 11[//]: # "- https://ox-hugo.scripter.co"