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

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

I'm a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of Waterloo,
supervised by [Dr. Nancy Day](https://cs.uwaterloo.ca/~nday/).  Currently, my research focuses on formal
logic, model checking, and verification.

[//]: # "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
	6	I'm a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of Waterloo,
c21b3fc3 AB	7	supervised by [Dr. Nancy Day](https://cs.uwaterloo.ca/~nday/). Currently, my research focuses on formal
c21b3fc3 AB	8	logic, model checking, and verification.
ae39b0da AB	9
ae39b0da AB	10	[//]: # "Exported with love from a post written in Org mode"
bdec7790	11	[//]: # "- https://ox-hugo.scripter.co"