X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/ae39b0da12d1d30be8654efa7c04309f0b692570..9b858c064ca75293dcd5184dd499f0e56467935c:/content/_index.md?ds=inline

diff --git a/content/_index.md b/content/_index.md
index 0ad37e4..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://github.com/kaushalmodi/ox-hugo"
+[//]: # "- https://ox-hugo.scripter.co"