ref: 351bf14558a231f34fb31a91310e455c8bf5ceae aminb.org/content/_index.md -rw-r--r-- 427 bytes View raw
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
+++
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/).  I'm interested in using formal methods,
especially type systems, to help make software more reliable.

[//]: # "Exported with love from a post written in Org mode"
[//]: # "- https://github.com/kaushalmodi/ox-hugo"