projects / ~bandali / bndl.org / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 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" |