From c21b3fc3440797277c1fa9cec21037738b6459e0 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Wed, 2 Jan 2019 15:47:41 -0500 Subject: [PATCH 1/1] update current research focus --- content-org/aminb.org | 4 ++-- content/_index.md | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) 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" -- 2.20.1