| | 1 | +++ |
| | 2 | title = "Home" |
| | 3 | draft = false |
| | 4 | +++ |
| | 5 | |
| | 6 | I'm Amin Bandali (often `bandali` or `aminb` on [the interwebs](/contact)). I’m |
| | 7 | currently a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of |
| | 8 | Waterloo, supervised by [Nancy Day](https://cs.uwaterloo.ca/~nday/). My current research focuses on |
| | 9 | formal logic, model checking, and verification. On the side, I also |
| | 10 | dabble 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). |
| | 11 | |
| | 12 | [//]: # "Exported with love from a post written in Org mode" |
| | 13 | [//]: # "- https://ox-hugo.scripter.co" |
projects / ~bandali / bndl.org / blame_incremental