X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/6c3ca0bae8e697ac12937fe2975cff4229dbf7b0..191fccfd5435763f15669b3418429095e1087965:/index.html diff --git a/index.html b/index.html index fb82602..5e35e8f 100644 --- a/index.html +++ b/index.html @@ -1,129 +1,124 @@ -<!--# 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 advocate, - 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>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> +<!--# set var="title" value="home" --> +<!--# include virtual="/ssi/pre.html" --> +<section id="intro"> +<p>Hi, I'm Amin. I am currently a graduate student at the +<a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a> +group at the University of Waterloo, supervised by +<a href="//cs.uwaterloo.ca/~nday/">Nancy Day</a>. +The main goal of my research is +improving <strong>software and systems reliability</strong> +through application of +<a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>.</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 research at WatForm focuses on formal logic, model checking, and +verification. I am also interested in programming languages, proof +assistants, and their type systems.</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>On the side, I enjoy +<a href="//stallman.org/articles/on-hacking.html">hacking</a> on +<a href="//www.gnu.org/software/emacs/manual/elisp.html">elisp</a> +and <a href="//www.gnu.org/software/guile/">guile</a>. +I am a GNU <a href="//www.gnu.org/people/#bandali">maintainer</a> and +<a href="//www.gnu.org/people/webmeisters.html#bandali">webmaster</a>, +a <a href="//www.gnu.org/philosophy/free-sw.html">free software</a> +activist, and an <a href="//www.fsf.org/associate/">associate member</a> +of the <a href="///www.fsf.org">Free Software Foundation</a>. +I'm the co-host of the <a href="//emacsel.com">Emacs.el</a> +podcast with <a href="//www.pygopar.com">Daniel Gopar</a>, and +the chief organizer of the +<a href="//emacsconf.org">EmacsConf</a> conference. +I'm also a member of the Systems Committee of the +<a href="//csclub.uwaterloo.ca">Computer Science Club</a> of +the University of Waterloo.</p> +</section> - <p> - I am also interested in programming languages, type systems, and - interactive theorem proving. - </p> +<section id="papers"> +<h2>Papers</h2> +<dl> +<dt>A Comparison of the Declarative Modelling Languages B, DASH, and +TLA<sup>+</sup> +<small> +[ <a href="papers/modre2018-declarative.pdf">pdf</a> +| <a href="papers/modre2018-declarative.bib">bib</a> +] +</small> +</dt> +<dd> +Ali Abbassi, <a href="//bandali.eu.org">Amin Bandali</a>, +<a href="//cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, Jose Serna<br/> +<em>2018 IEEE 8th International Model-Driven Requirements Engineering +Workshop (MoDRE)</em><br/> +Copyright © 2018 IEEE. All Rights Reserved. Sadly. +</dd> +</dl> +</section> - <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> - advocate, and a volunteer webmaster for the GNU project. - </p> +<section id="talks"> +<h2>Talks</h2> +<dl> +<dt>The Magic of Specifications and Type Systems +<small> +[ <a href="talks/cucsc-2017-slides.pdf" + title="presented at the Canadian Undergraduate Computer Science Conference 2017, +University of Toronto, Canada, June 15â17, 2017">slides</a> +| <a href="talks/eecs4080-poster.pdf" + title="presented at the Lassonde Undergraduate Summer Student Research Conference, +York University, Toronto, Canada, August 15, 2017">poster</a> +] +</small> +</dt> +<dd> +<a href="//bandali.eu.org">Amin Bandali</a>, +<a href="//github.com/cipher1024">Simon Hudon</a>, +<a href="//www.cse.yorku.ca/~jonathan/">Jonathan S. Ostroff</a> +</dd> +</dl> +</section> - <p> - You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>. - </p> - </section> +<section id="projects"> +<h2>Projects</h2> +<p>Below are a number of free software projects I have worked on:</p> +<dl> +<dt><a href="//git.bandali.eu.org/george-mode">george-mode</a></dt> +<dd>Emacs major mode for editing George files</dd> - <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> +<dt><a href="//git.bandali.eu.org/alloy-catalyst">alloy-catalyst</a></dt> +<dd>Framework for performance analysis of Alloy models</dd> - <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> +<dt><a href="//github.com/unitb/unitb-web">unitb-web</a></dt> +<dd>Web interface for Unit-B</dd> - <section> - <h2 id="writings">Writings</h2> - <dl> - <dt>Will be added soon.</dt> - <!-- <dd></dd> --> - </dl> - </section> -</main> -<!--# include virtual="/common/footer.html" --> +<dt><a href="//github.com/unitb/tex2png-hs">tex2png-hs</a></dt> +<dd>Library and CLI for converting TeX and LaTeX to PNG images</dd> +</dl> +</section> + +<section id="notes"> +<h2>Notes</h2> +<p>Here are notes about a variety of topics and issues I care +about.<!--<br/> +They're also available via +<a href="notes.atom"> +<img class="feed-icon" src="/icon-12px.png" + alt="subscribe to atom feed">Atom</a> +and +<a href="notes.rss"> +<img class="feed-icon" src="/icon-12px.png" + alt="subscribe to rss feed">RSS</a> feeds.--></p> + +<table class="post-list"> +<tbody> +<tr> +<td><a href="computing">How I do my Computing</a></td> +<td><small>September 14, 2019</small></td> +</tr> + +<tr> +<td><a href="arch-macbook-air">Arch GNU/Linux on MacBook Air 2013</a></td> +<td><small>November 1, 2016</small></td> +</tr> +</tbody> +</table> +</section> +<!--# set var="copy" value="2016–2019" --> +<!--# include virtual="/ssi/post.html" -->