X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/191fccfd5435763f15669b3418429095e1087965..56af22d033482f66966fb7b8edc2bb18f2fec477:/index.html?ds=sidebyside diff --git a/index.html b/index.html index 5e35e8f..af68beb 100644 --- a/index.html +++ b/index.html @@ -1,124 +1,74 @@ -<!--# 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> +<!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> -<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>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>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> +<h2 id="notes">notes</h2> +<p>Here are notes about topics or issues I care about:</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> +<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> -<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>The notes are also available via <a href="notes.atom">Atom</a> +and <a href="notes.rss">RSS</a> feeds.</p> -<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> +<h2 id="talks">talks</h2> +<p>Some of the talks and presentations I've given over the years:</p> -<dt><a href="//git.bandali.eu.org/alloy-catalyst">alloy-catalyst</a></dt> -<dd>Framework for performance analysis of Alloy models</dd> +<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> -<dt><a href="//github.com/unitb/unitb-web">unitb-web</a></dt> -<dd>Web interface for Unit-B</dd> - -<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" --> +<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>