git.shemshak.org - ~bandali/bndl.org/blob - content/_index.md

   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"