[~bandali/bndl.org] / content / _index.md

+++
title = "Home"
draft = false
+++

I'm Amin Bandali (often `bandali` or `aminb` on [the interwebs](/contact)).  I’m
currently a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of
Waterloo, supervised by [Nancy Day](https://cs.uwaterloo.ca/~nday/).  My current research focuses on
formal logic, model checking, and verification.  On the side, I also
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).

[//]: # "Exported with love from a post written in Org mode"
[//]: # "- https://ox-hugo.scripter.co"
Commit	Line	Data
ae39b0da AB	1	+++
	2	title = "Home"
	3	draft = false
	4	+++
	5
eaf5a338 AB	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).
ae39b0da AB	11
ae39b0da AB	12	[//]: # "Exported with love from a post written in Org mode"
bdec7790	13	[//]: # "- https://ox-hugo.scripter.co"