From 627c9ae4805fd0b532d8a5b4760db74ba145f21b Mon Sep 17 00:00:00 2001
From: Amin Bandali <amin@aminb.org>
Date: Mon, 21 May 2018 23:17:36 -0400
Subject: [PATCH] Add link to ~abandali on cs-general

---
 index.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

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/
-- 
2.20.1