X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/a9bc018ee07125709a2814a194a7bfb3433907fe..066f756557045139f7cafc2b5fb30034bc9e021b:/index.m4 diff --git a/index.m4 b/index.m4 index 54fe7a2..0a23064 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
@@ -101,15 +102,15 @@ York University, Toronto, Canada, August 15, 2017">poster
Here are notes about a variety of topics and issues I care
-about.Notes
How I do my Computing | September 14, 2019 | -
Arch GNU/Linux on MacBook Air 2013 | November 1, 2016 |