X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/0db8c2d8b43ee9c858b5a8c98102eb64ff1977f8..c21b3fc3440797277c1fa9cec21037738b6459e0:/content-org/aminb.org diff --git a/content-org/aminb.org b/content-org/aminb.org index d9b9be9..959ff30 100644 --- a/content-org/aminb.org +++ b/content-org/aminb.org @@ -19,8 +19,8 @@ :END: I'm a [[/uw][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of Waterloo, -supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]]. I'm interested in using formal methods, -especially type systems, to help make software more reliable. +supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]]. Currently, my research focuses on formal +logic, model checking, and verification. ** CV :PROPERTIES: