[~bandali/bndl.org] / index.md

<h1 id="hello">Hello there,</h1>
<img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
<div class="clear"></div>

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

<!-- TODO: rss feed -->

- [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/
Commit	Line	Data
3b86855a AB	1	<h1 id="hello">Hello there,</h1>
	2	<img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
	3	<div class="clear"></div>
2c35d3a8	4
627c9ae4 AB	5	I'm a [graduate student][cs] in the [WatForm][watform] group at
	6	University of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m
	7	interested in using formal methods, especially type systems, to help
	8	make software more reliable.
2c35d3a8	9
3b86855a AB	10	## Recent writings
	11
	12	<!-- TODO: rss feed -->
2c35d3a8 AB	13
	14	- [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
	15
3b86855a AB	16	## Talks & presentations
	17
	18	- TODO
	19
2c35d3a8	20
627c9ae4	21	[cs]: https://cs.uwaterloo.ca/~abandali/
2c35d3a8 AB	22	[watform]: https://watform.uwaterloo.ca
2c35d3a8 AB	23	[nday]: https://cs.uwaterloo.ca/~nday/