X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/caf3b78c74be4c0d1e53904aa258fda50e512ef0..ae39b0da12d1d30be8654efa7c04309f0b692570:/content/_index.md?ds=sidebyside

diff --git a/content/_index.md b/content/_index.md
new file mode 100644
index 0000000..0ad37e4
--- /dev/null
+++ b/content/_index.md
@@ -0,0 +1,11 @@
++++
+title = "Home"
+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.
+
+[//]: # "Exported with love from a post written in Org mode"
+[//]: # "- https://github.com/kaushalmodi/ox-hugo"