update home page and colophon
[~bandali/bndl.org] / content / _index.md
CommitLineData
ae39b0da
AB
1+++
2title = "Home"
3draft = false
4+++
5
eaf5a338
AB
6I'm Amin Bandali (often `bandali` or `aminb` on [the interwebs](/contact)). I’m
7currently a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of
8Waterloo, supervised by [Nancy Day](https://cs.uwaterloo.ca/~nday/). My current research focuses on
9formal logic, model checking, and verification. On the side, I also
10dabble in [Lean](https://leanprover.github.io) and [Rust](https://www.rust-lang.org), and I enjoy [hacking](https://stallman.org/articles/on-hacking.html) on [Elisp](https://www.gnu.org/software/emacs/manual/elisp.html).
ae39b0da
AB
11
12[//]: # "Exported with love from a post written in Org mode"
bdec7790 13[//]: # "- https://ox-hugo.scripter.co"