X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/505a94190f4aba9404b7c9d95444bfa0a14925ec..faa724fc144f3bfb66e141741afa028779c88468:/index.m4 diff --git a/index.m4 b/index.m4 index 54fe7a2..9fdad21 100644 --- a/index.m4 +++ b/index.m4 @@ -11,7 +11,8 @@ group at the University of Waterloo, supervised by The main goal of my research is improving software and systems reliability through application of -formal methods.
+formal +methods.My research at WatForm focuses on formal logic, model checking, and verification. I am also interested in programming languages, proof @@ -43,8 +44,8 @@ University of Waterloo.
Here are notes about a variety of topics and issues I care -about.
+RSS feeds.How I do my Computing | September 14, 2019 | -
Arch GNU/Linux on MacBook Air 2013 | November 1, 2016 |