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

<div class="picture"><img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" width="112" height="112" alt="Amin Bandali"></div>

# Amin <span>Bandali</span>

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.

---

- [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")


[watform]: https://watform.uwaterloo.ca
[nday]: https://cs.uwaterloo.ca/~nday/
Commit	Line	Data
2c35d3a8 AB	1	<div class="picture"><img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" width="112" height="112" alt="Amin Bandali"></div>
	2
	3	# Amin <span>Bandali</span>
	4
	5	I'm a graduate student in the [WatForm][watform] group at University
	6	of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m interested in
	7	using formal methods, especially type systems, to help make software
	8	more reliable.
	9
	10	---
	11
	12	- [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
	13
	14
	15	[watform]: https://watform.uwaterloo.ca
	16	[nday]: https://cs.uwaterloo.ca/~nday/