summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2019-01-02 15:47:41 -0500
committerAmin Bandali <bandali@gnu.org>2019-01-02 15:47:41 -0500
commitc21b3fc3440797277c1fa9cec21037738b6459e0 (patch)
treec582b5db3ed1a6c8569df78e61eedfa5c0305fbc
parent0db8c2d8b43ee9c858b5a8c98102eb64ff1977f8 (diff)
downloadaminb.org-c21b3fc3440797277c1fa9cec21037738b6459e0.tar.xz
aminb.org-c21b3fc3440797277c1fa9cec21037738b6459e0.zip
update current research focus
-rw-r--r--content-org/aminb.org4
-rw-r--r--content/_index.md4
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"