X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/bdec77905bf26a7613043645c067ca1673d5acce..97644ee8b4fea73d02a28c3085d8287890d9bb89:/content/_index.md diff --git a/content/_index.md b/content/_index.md index d113f7d..a6dc102 100644 --- a/content/_index.md +++ b/content/_index.md @@ -4,8 +4,8 @@ draft = false +++ I'm a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of Waterloo, -supervised by [Dr. Nancy Day](https://cs.uwaterloo.ca/~nday/). I'm interested in using formal methods, -especially type systems, to help make software more reliable. +supervised by [Dr. Nancy Day](https://cs.uwaterloo.ca/~nday/). Currently, my research focuses on formal +logic, model checking, and verification. [//]: # "Exported with love from a post written in Org mode" [//]: # "- https://ox-hugo.scripter.co"