X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/9998ccd03444e45e42238fa7e01099da1d5a6247..4927af92d3b136436aa41a26369794443aa69b97:/index.html?ds=sidebyside diff --git a/index.html b/index.html index e0efc13..9c776e2 100644 --- a/index.html +++ b/index.html @@ -1,42 +1,150 @@ - + -
- - -Hi, I'm Amin. I am currently a graduate student at the +Waterloo Formal Methods +group at the University of Waterloo, supervised by +Nancy Day. +The main goal of my research is +improving software and systems reliability +through application of +formal methods.
+ +My research at WatForm focuses on formal logic, model checking, and +verification. I am also interested in programming languages, proof +assistants, and their type systems.
+ +On the side, I enjoy +hacking on +elisp +and guile. +I am a GNU maintainer and +webmaster, +a free software +activist, and an associate member +of the Free Software Foundation. +I'm the co-host of the Emacs.el +podcast with Daniel Gopar, and +the chief organizer of the +EmacsConf conference. +I'm also a member of the Systems Committee of the +Computer Science Club of +the University of Waterloo.
+Below are a number of free software projects I have worked on:
+Here are notes about a variety of topics and issues I care +about.
+ +How I do my Computing | +September 14, 2019 | +
Arch GNU/Linux on MacBook Air 2013 | +November 1, 2016 | +