projects
/
~bandali
/
bndl.org
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add CV
[~bandali/bndl.org]
/
index.md
diff --git
a/index.md
b/index.md
index
7ca06bb
..
2f9060e
100644
(file)
--- a/
index.md
+++ b/
index.md
@@
-1,16
+1,23
@@
-<div class="picture"><img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" width="112" height="112" alt="Amin Bandali"></div>
+<h1 id="hello">Hello there,</h1>
+<img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
+<div class="clear"></div>
-# Amin <span>Bandali</span>
+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.
-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.
+## Recent writings
----
+<!-- TODO: rss feed -->
- [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
- [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
+## Talks & presentations
+- TODO
+
+
+[cs]: https://cs.uwaterloo.ca/~abandali/
[watform]: https://watform.uwaterloo.ca
[nday]: https://cs.uwaterloo.ca/~nday/
[watform]: https://watform.uwaterloo.ca
[nday]: https://cs.uwaterloo.ca/~nday/