X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/b055850c7139679cbee25a09b97d9130a65abf9e..56af22d033482f66966fb7b8edc2bb18f2fec477:/index.html?ds=inline diff --git a/index.html b/index.html index ac6cf39..af68beb 100644 --- a/index.html +++ b/index.html @@ -1,135 +1,74 @@ -<!--# 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> +<!doctype html><html lang="en"><head> +<meta charset="utf-8" /> +<meta name="author" content="bandali" /> +<meta name="viewport" content="width=device-width, initial-scale=1" /> +<title>bandali's personal site</title> +<link rel="icon" href="data:,"> +<link rel="canonical" href="https://bndl.org" /> +<link rel="alternate" href="bandali.txt" title="plain text" type="text/plain" /> +<link rel="alternate" href="notes.atom" title="notes atom feed" type="application/atom+xml" /> +<link rel="alternate" href="notes.rss" title="notes rss feed" type="application/rss+xml" /> +<link rel="alternate" href="fa/" hreflang="fa" title="persian" /> +<style> +body{margin:0 auto;max-width:37.5em;}p,li{line-height:1.6} +h1{font-size:1.5em}h2{font-size:1.3em} +#fa{text-decoration:none}#fa:hover,#fa:focus{text-decoration:underline} +ul{list-style-type:none;padding:0}ul li{margin:0.25em 0} +#copy,#license{font-size:0.84em;line-height:1.3;} +#copy{margin-bottom:0.5em}#license{margin-top:0.5em} +@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;} +a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}} +</style></head> +<body> +<h1>bandali's personal site</h1> +<nav> +<a href="projects.html">projects</a> +| <a href="cv.html">cv</a> +| <a href="contact.html">contact</a> +| <a href="bandali.txt">plain text</a> +| <a href="fa/" hreflang="fa" title="Persian" id="fa">ÙارسÛ</a> +</nav> - <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>I am a +<a href="https://www.gnu.org/philosophy/free-sw.html">free/libre +software</a> activist and a computing scientist. I'm a GNU maintainer +of <a href="https://jami.net">Jami</a> +and <a href="https://www.gnu.org/software/gnuzilla/">GNU IceCat</a>, +and wear <a href="https://www.gnu.org/people/people.html#bandali">a +few other hats</a> around GNU as well: Savannah hacker/admin, +assistant GNUisance, GNU webmaster, etc.</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> +<h2 id="notes">notes</h2> +<p>Here are notes about topics or issues I care about:</p> - <p> - I am also interested in programming languages, type systems, and - interactive theorem proving. - </p> +<ul> +<li><a href="fsf-internship/beyond.html">My internship with +the FSF tech team and beyond</a> +<small>(18 December 2020)</small></li> +<li><a href="fsf-internship/intro.html">Internship with the +FSF tech team</a> <small>(29 May 2020)</small></li> +<li><a href="computing.html">How I do my computing</a> +<small>(14 September 2019)</small></li> +</ul> - <p> - You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>. - </p> - </section> +<p>The notes are also available via <a href="notes.atom">Atom</a> +and <a href="notes.rss">RSS</a> feeds.</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> +<h2 id="talks">talks</h2> +<p>Some of the talks and presentations I've given over the years:</p> - <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> +<ul> +<li><a href="talks/libreplanet-2021-jami.html">LibrePlanet 2021: Jami +and how it empowers users</a> <small>(20 March 2021)</small></li> +<li><a href="theses/mmath.html#presentation">A Comprehensive Study of +Declarative Modelling Languages</a> <small>(30 June 2020)</small></li> +</ul> - <section> - <h2 id="writings">Writings</h2> - <dl> - <dt>Will be added soon.</dt> - <!-- <dd></dd> --> - </dl> - </section> - - <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" --> +<hr /> +<p id="copy">Copyright © 2012–2021 bandali</p> +<p id="license">Copying and distribution of this file, with or without +modification, are permitted in any medium without royalty provided the +copyright notice and this notice are preserved. This file is offered +as-is, without any warranty.</p> +</body> +</html>