c21b3fc3440797277c1fa9cec21037738b6459e0 — Amin Bandali 4 months ago 0db8c2d
update current research focus
2 files changed, 4 insertions(+), 4 deletions(-)

M content-org/aminb.org
M content/_index.md
M content-org/aminb.org => content-org/aminb.org +2 -2
@@ 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:

M content/_index.md => content/_index.md +2 -2
@@ 4,8 4,8 @@ +++
  
  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"