X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/bdec77905bf26a7613043645c067ca1673d5acce..eaf5a338e49bb577f3806131cc45ab05fdf2df85:/content/_index.md?ds=inline

diff --git a/content/_index.md b/content/_index.md
index d113f7d..399e97a 100644
--- a/content/_index.md
+++ b/content/_index.md
@@ -3,9 +3,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.
+I'm Amin Bandali (often `bandali` or `aminb` on [the interwebs](/contact)).  I’m
+currently a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of
+Waterloo, supervised by [Nancy Day](https://cs.uwaterloo.ca/~nday/).  My current research focuses on
+formal logic, model checking, and verification.  On the side, I also
+dabble in [Lean](https://leanprover.github.io) and [Rust](https://www.rust-lang.org), and I enjoy [hacking](https://stallman.org/articles/on-hacking.html) on [Elisp](https://www.gnu.org/software/emacs/manual/elisp.html).
 
 [//]: # "Exported with love from a post written in Org mode"
 [//]: # "- https://ox-hugo.scripter.co"