X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/3b86855ad9d6cb03c093b48b9a2cbc57da5ddb08..627c9ae4805fd0b532d8a5b4760db74ba145f21b:/index.md

diff --git a/index.md b/index.md
index 001b6c4..2f9060e 100644
--- a/index.md
+++ b/index.md
@@ -2,10 +2,10 @@
 <img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
 <div class="clear"></div>
 
-I'm a graduate student in the [WatForm][watform] group at University
-of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m interested in
-using formal methods, especially type systems, to help make software
-more reliable.
+I'm a [graduate student][cs] in the [WatForm][watform] group at
+University of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m
+interested in using formal methods, especially type systems, to help
+make software more reliable.
 
 ## Recent writings
 
@@ -18,5 +18,6 @@ more reliable.
 - TODO
 
 
+[cs]: https://cs.uwaterloo.ca/~abandali/
 [watform]: https://watform.uwaterloo.ca
 [nday]: https://cs.uwaterloo.ca/~nday/