Add CV
[~bandali/bndl.org] / index.md
index 001b6c4..2f9060e 100644 (file)
--- 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/