X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/8b2bd4899f02ec1fa8f0d918396ea77afe0686ad..1e34cd296bf13d9b29c6c28441a531dda7f81a71:/index.html?ds=inline diff --git a/index.html b/index.html index d9d4a62..1888e27 100644 --- a/index.html +++ b/index.html @@ -1,160 +1,80 @@ <!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> +<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="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 { + line-height: 1.6; + max-width: 37.5em; + margin: 0 auto; + padding: 0 1em; +} +details { margin: 1em 0; } +details summary { cursor: pointer; } +#copy { font-size: 0.84em; } +#copy p { padding: 0 2em; } +#fa { text-decoration: none; } +#fa:hover, #fa:focus { text-decoration: underline; } +ul { list-style-type: none; padding: 0; } +ul li { margin: 0.25em 0; } +@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> - <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> +<p>I am a <a href="https://www.gnu.org/philosophy/free-sw.html">free +software</a> activist and <a href="mmath.html">computing +scientist</a>. 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>. +I also wear a few other hats around GNU, including helping run the +Savannah forge for GNU and non-GNU software as a Savannah hacker, and +serving as an assistant GNUisance.</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> +<h2 id="notes">notes</h2> +<p>Here are notes and writings about topics or issues I care about, +which you can also read via <a href="notes.atom">Atom</a> +or <a href="notes.rss">RSS</a> feeds.</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> +<ul> +<li><a href="libreplanet-2021.html">LibrePlanet 2021: Jami and how it +empowers users</a> <small>(March 20, 2021)</small></li> +<li><a href="fsf-internship-beyond.html">My internship with the FSF +tech team and beyond</a> <small>(December 18, 2020)</small></li> +<li><a href="fsf-internship-intro.html">Internship with the FSF tech +team</a> <small>(May 29, 2020)</small></li> +<li><a href="computing.html">How I do my Computing</a> +<small>(September 14, 2019)</small></li> +</ul> - <p> - I am also interested in programming languages, type systems, and - interactive theorem proving. - </p> - - <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> - - <p> - You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>. - </p> - </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="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> +<hr /> +<details id="copy"> +<summary>Copyright © 2012–2021 bandali</summary> +<p>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> +</details> +</body> </html>