From: Amin Bandali Date: Wed, 2 Jan 2019 20:47:41 +0000 (-0500) Subject: update current research focus X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/c21b3fc3440797277c1fa9cec21037738b6459e0?ds=sidebyside update current research focus --- 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: diff --git a/content/_index.md b/content/_index.md index d113f7d..a6dc102 100644 --- a/content/_index.md +++ b/content/_index.md @@ -4,8 +4,8 @@ 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. +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"