X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/8b2bd4899f02ec1fa8f0d918396ea77afe0686ad..b055850c7139679cbee25a09b97d9130a65abf9e:/index.html diff --git a/index.html b/index.html index d9d4a62..ac6cf39 100644 --- a/index.html +++ b/index.html @@ -1,160 +1,135 @@ -<!doctype html> -<html lang="en"> - <head> - <meta charset="utf-8"> - <meta name=viewport content="width=device-width, initial-scale=1"> - <meta name="description" content="Amin Bandali is a graduate - student at WatForm, the co-host of the Emacs.el - podcast, a free software advocate, and a volunteer - webmaster for the GNU project."/> - <title>Amin Bandali</title> - <link rel="stylesheet" href="/style.css" /> - </head> - <body> - <header> - <h1><a href="images/amin.png">Amin Bandali</a>’s personal site</h1> - <span id="sub"> - Graduate student at University of Waterloo supervised by - <a href="https://cs.uwaterloo.ca/~nday/">Nancy Day</a> - </span> - </header> +<!--# include virtual="/common/header.html" --> +<meta + name="description" + content="Amin Bandali is a graduate student at WatForm, the + co-host of the Emacs.el podcast, a free software activist, + and a volunteer webmaster for the GNU project."/> +<title>Amin Bandali</title> +<!--#set var="bpage" value="Home" --> +<!--# include virtual="/common/banner.html" --> +<main> + <section> + <h2 id="contact">Contact</h2> + <table class="btable"> + <tbody> + <tr> + <th></th> + <th>email</th> + <th>projects</th> + </tr> + <tr> + <td>academic</td> + <td><a href="mailto:abandali@uwaterloo.ca">abandali@uwaterloo.ca</a></td> + <td><a href="https://git.uwaterloo.ca/abandali">git.uwaterloo.ca/abandali</a></td> + </tr> + <tr> + <td>personal</td> + <td><a href="mailto:amin@shemshak.org">amin@shemshak.org</a></td> + <td><a href="https://git.shemshak.org/amin">git.shemshak.org/amin</a></td> + </tr> + <tr> + <td>gnu</td> + <td><a href="mailto:mab@gnu.org">mab@gnu.org</a> + <td><a href="https://sv.gnu.org/u/bandali">sv.gnu.org/u/bandali</a></td> + </tr> + </tbody> + </table> + <p> + See <a href="contact">contact</a> for more, and <a href="gpg">gpg</a> + for sending me encrypted mail. + </p> + </section> - <main> - <section> - <h2 id="contact">Contact</h2> - <table class="btable"> - <tbody> - <tr> - <th></th> - <th>academic</th> - <th>personal</th> - </tr> - <tr> - <td>email</td> - <td><a href="mailto:abandali@uwaterloo.ca">abandali@uwaterloo.ca</a></td> - <td><a href="mailto:bandali@gnu.org">bandali@gnu.org</a> - (<a href="gpg">gpg</a>)</td> - </tr> - <tr> - <td>git repos</td> - <td><a href="https://git.uwaterloo.ca/abandali">git.uwaterloo.ca/abandali</a></td> - <td><a href="https://git.sr.ht/~bandali">git.sr.ht/~bandali</a></td> - </tr> - <tr> - <td>other means</td> - <td>see <a href="contact">contact</a> page</td> - </tr> - </tbody> - </table> - </section> + <section> + <h2 id="research-interests">Research interests</h2> + <p> + The main goal of my research is improving + <strong>software reliability</strong> + through application of <em>formal methods</em>. + </p> - <section> - <h2 id="research-interests">Research interests</h2> - <p> - The main goal of my research is improving - <strong>software reliability</strong> - through application of <em>formal methods</em>. - </p> + <p> + My current research at <a href="https://watform.uwaterloo.ca">WatForm</a> + focuses on formal logic, model checking, and verification. + Specifically, I am working on various optimizations aiming to + improve the analysis performance of the Alloy Analyzer on + models. + </p> - <p> - My current research at <a href="https://watform.uwaterloo.ca">WatForm</a> - focuses on formal logic, model checking, and verification. - Specifically, I am working on various optimizations aiming to - improve the analysis performance of the Alloy Analyzer on - models. - </p> + <p> + I am also interested in programming languages, type systems, and + interactive theorem proving. + </p> - <p> - I am also interested in programming languages, type systems, and - interactive theorem proving. - </p> + <p> + You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>. + </p> + </section> - <p> - On the side, I dabble in <a href="https://leanprover.github.io">Lean</a> - and <a href="https://www.rust-lang.org">Rust</a>, and enjoy - <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on - <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>. - I’m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a> - and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a> - advocate, and a volunteer webmaster for the GNU project. - </p> + <section> + <h2 id="publications">Publications</h2> + <dl> + <dt> + <strong>A Comparison of the Declarative Modelling + Languages B, Dash, and TLA<sup>+</sup></strong> + (<a href="papers/2018-AbBaDaSe-modre.pdf">pdf</a>, + <a href="papers/2018-AbBaDaSe-modre.bib">bib</a>, + <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>, + <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>) + </dt> + <dd> + Ali Abbassi, <strong>Amin Bandali</strong>, Nancy A. Day, + and Jose Serna + </dd> + <dd> + <em>2018 IEEE 8th International Model-Driven Requirements + Engineering Workshop (MoDRE)</em> + </dd> + </dl> + <!-- <h3 id="theses">Theses</h3> --> + </section> - <p> - You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>. - </p> - </section> + <section> + <h2 id="presentations">Presentations</h2> + <dl> + <dt> + <strong>The Magic of Specifications and Type Systems</strong> + </dt> + <dd> + <strong>Amin Bandali</strong>, Simon Hudon, Jonathan Ostroff + </dd> + <dd><a href="presentations/cucsc-2017-slides.pdf">Slides</a> + presented at + <abbr title="Canadian Undergraduate Computer Science Conference">CUCSC 2017</abbr>, + University of Toronto, Canada, June 15-17, 2017. + </dd> + <dd> + <a href="presentations/eecs4080-poster.pdf">Poster</a> presented at + <abbr title="Lassonde Undergraduate Summer Student Research Conference">Lassonde USSR Conference</abbr>, + York University, Toronto, Canada, August 15, 2017. + </dd> + </dl> + </section> - <section> - <h2 id="publications">Publications</h2> - <dl> - <dt> - <strong>A Comparison of the Declarative Modelling - Languages B, Dash, and TLA<sup>+</sup></strong> - (<a href="papers/2018-AbBaDaSe-modre.pdf">pdf</a>, - <a href="papers/2018-AbBaDaSe-modre.bib">bib</a>, - <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>, - <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>) - </dt> - <dd> - Ali Abbassi, <strong>Amin Bandali</strong>, Nancy A. Day, - and Jose Serna - </dd> - <dd> - <em>2018 IEEE 8th International Model-Driven Requirements - Engineering Workshop (MoDRE)</em> - </dd> - </dl> - <!-- <h3 id="theses">Theses</h3> --> - </section> + <section> + <h2 id="writings">Writings</h2> + <dl> + <dt>Will be added soon.</dt> + <!-- <dd></dd> --> + </dl> + </section> - <section> - <h2 id="presentations">Presentations</h2> - <dl> - <dt> - <strong>The Magic of Specifications and Type - Systems</strong> - </dt> - <dd><strong>Amin Bandali</strong>, Simon Hudon, - Jonathan Ostroff - </dd> - <dd><a href="presentations/cucsc-2017-slides.pdf">Slides</a> - presented at - <abbr title="Canadian Undergraduate Computer Science Conference"> - CUCSC 2017</abbr>, University of Toronto, Canada, June - 15-17, 2017. - </dd> - <dd><a href="presentations/eecs4080-poster.pdf">Poster</a> - presented at - <abbr title="Lassonde Undergraduate Summer Student Research Conference"> - Lassonde USSR Conference</abbr>, York University, Toronto, Canada, - August 15, 2017.</dd> - </dl> - </section> - - <section> - <h2 id="writings">Writings</h2> - <dl> - <dt>Will be added soon.</dt> - <!-- <dd></dd> --> - </dl> - </section> - </main> - <footer> - <p> - Copyright (c) 2016–2019 Amin Bandali<br> - Verbatim copying and redistribution of this entire page are - permitted provided this notice is preserved.<br> - The <a href="https://www.gnu.org/graphics/gnu-inside.html"> - GNU Inside</a> banner is available under the - <a href="https://creativecommons.org/licenses/by-sa/2.0/"> - Creative Commons Attribution-ShareAlike 2.0 License</a>. - </p> - <div id="gnu-inside"> - <a href="https://www.gnu.org"> - <img src="images/gnu-inside.png" - alt="GNU Inside!" title="GNU Inside!"/> - </a> - </div> - </footer> - </body> -</html> + <section> + <h2 id="other-interests">Other interests</h2> + <p> + On the side, I dabble in <a href="https://leanprover.github.io">Lean</a> + and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on + <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>. + I’m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a> + and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a> + activist, a <a href="https://www.gnu.org/people/webmeisters.html#bandali">volunteer webmaster</a> + for the GNU project, and a co-host of the <a href="https://emacsel.com">Emacs.el</a> podcast. + </p> + </section> +</main> +<!--# include virtual="/common/footer.html" -->