Hi, I'm Amin. I am currently a graduate student at the Waterloo Formal Methods @@ -141,10 +121,5 @@ and
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/4927af92d3b136436aa41a26369794443aa69b97..7a66e6ec5d73f54ccf06f70be1bb9ba594bfae12:/index.html?ds=sidebyside diff --git a/index.html b/index.html index 9c776e2..381c6d9 100644 --- a/index.html +++ b/index.html @@ -1,26 +1,6 @@ - - -
- - -Hi, I'm Amin. I am currently a graduate student at the Waterloo Formal Methods @@ -141,10 +121,5 @@ and