update current research focus

diff --git a/content-org/aminb.org b/content-org/aminb.org
index d9b9be9..959ff30 100644 (file)
--- 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,
 :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:
 
 ** CV
 :PROPERTIES:

diff --git a/content/_index.md b/content/_index.md
index d113f7d..a6dc102 100644 (file)
--- 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,
 +++
 
 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"
 
 [//]: # "Exported with love from a post written in Org mode"
 [//]: # "- https://ox-hugo.scripter.co"