[~bandali/bndl.org] / index.html

<!doctype html>
<html lang="en">
  <head>
    <meta charset="utf-8" />
    <meta name=viewport content="width=device-width, initial-scale=1" />
    <title>Amin Bandali's Personal Site</title>
    <meta
      name="description"
      content="Amin Bandali is a graduate student at WatForm, a free
            software activist, and a GNU webmaster and volunteer." />
    <link rel="stylesheet" href="/style.css" />
  </head>
  <body>
    <nav><span>bandali.eu.org</span></nav>
    <main>
      <h1 id="hiddentitle">Amin Bandali</h1>
      <section>
        <p>
          Hi, I’m
          <a href="images/bandali-with-rms.jpg"
             title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>.
          I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
          at University of Waterloo, supervised by
          <a href="https://cs.uwaterloo.ca/~nday/">Dr.&nbsp;Nancy&nbsp;Day</a>.
          The main goal of my research is improving
          <strong>software and systems reliability</strong>
          through application of <em>formal methods</em>.
        </p>

        <p>
          My research at WatForm focuses on formal logic, model
          checking, and verification.  I’m also interested in
          programming languages, theorem provers, and their type
          systems.  You may wish to view my
          academic <a href="bandali-cv.html">curriculum vitae</a>.
        </p>

        <p class="notice">
          <strong>SE 212 students:</strong>
          see <a href="se212-f19/">here</a> for slides and other
          material from the tutorials.
        </p>

        <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">Elisp</a>.
          I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a> activist
          and FSF <a href="https://www.fsf.org/associate/">supporter</a>, and a GNU maintainer
          and <a href="https://www.gnu.org/people/webmeisters.html#bandali">webmaster</a>.
          I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast with
          <a href="https://www.pygopar.com">Daniel Gopar</a>, and
          organize <a href="https://emacsconf.org">EmacsConf</a> with
          help from many wonderful people.

          I am also a member of the Systems Committee for the
          <a href="https://csclub.uwaterloo.ca">Computer Science Club
            of the University of Waterloo</a>.
        </p>

        <p>
          See my <a href="contact.html">contact</a> page for how to
          best reach me.
        </p>
      </section>

      <h3 id="papers">Papers</h3>
      <dl>
        <dt>
          A Comparison of the Declarative Modelling Languages B,
          Dash, and TLA<sup>+</sup>
          <span class="plinks">
            [
            <a href="papers/modre2018-declarative.pdf">pdf</a>
            |
            <a href="papers/modre2018-declarative.bib">bib</a>
            ]
          </span>
        </dt>
        <dd>
          Ali Abbassi,
          <a href="https://bandali.eu.org">Amin Bandali</a>,
          <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>,
          and 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>

      <h3 id="talks">Talks</h3>
      <dl>
        <dt>
          The Magic of Specifications and Type Systems
          <span class="plinks">
            [
            <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>
            ]
          </span>
        </dt>
        <dd>
          <a href="https://bandali.eu.org">Amin Bandali</a>,
          <a href="https://github.com/cipher1024">Simon Hudon</a>,
          <a href="http://www.cse.yorku.ca/~jonathan/">Jonathan Ostroff</a>
        </dd>
      </dl>

      <h3>Projects</h3>
      <p>
        Below are a number of free software projects I have worked on:
      </p>
      <dl>
        <dt><a href="https://git.sr.ht/~bandali/george-mode">george-mode</a></dt>
        <dd>Emacs major mode for editing George files</dd>

        <dt><a href="https://git.uwaterloo.ca/bandali/alloy-catalyst">alloy-catalyst</a></dt>
        <dd>Framework for performance analysis of Alloy models</dd>

        <dt><a href="https://github.com/unitb/unitb-web">unitb-web</a></dt>
        <dd>Web interface for Unit-B</dd>

        <dt><a href="https://github.com/unitb/tex2png-hs">tex2png-hs</a></dt>
        <dd>Library and CLI for converting TeX and LaTeX to PNG images</dd>
      </dl>

      <h3>Notes</h3>
      <ul>
        <!-- <li>
             <a href="streaming-with-free-software.html">Streaming with
             Free Software</a>
             </li> -->
        <li>
          <a href="bandali-computing.html">How I do my computing</a>
        </li>
      </ul>
    </main>
    <footer>
      <p>
        Copyright © 2016–2019 Amin Bandali.
        See <a href="/license.html">license.html</a> for license
        conditions.  Please copy and share.
      </p>
    </footer>
  </body>
</html>
Commit	Line	Data
ff620ce6	1	<!doctype html>
ef72be3e AB	2	<html lang="en">
	3	<head>
	4	<meta charset="utf-8" />
	5	<meta name=viewport content="width=device-width, initial-scale=1" />
	6	<title>Amin Bandali's Personal Site</title>
	7	<meta
	8	name="description"
	9	content="Amin Bandali is a graduate student at WatForm, a free
	10	software activist, and a GNU webmaster and volunteer." />
	11	<link rel="stylesheet" href="/style.css" />
	12	</head>
	13	<body>
ff620ce6	14	<nav><span>bandali.eu.org</span></nav>
9998ccd0	15	<main>
ff620ce6	16	<h1 id="hiddentitle">Amin Bandali</h1>
4ad3138c AB	17	<section>
4ad3138c AB	18	<p>
1c986cd7	19	Hi, I’m
4ad3138c	20	<a href="images/bandali-with-rms.jpg"
ff620ce6	21	title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>.
1c986cd7	22	I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a>
127617a6 AB	23	at University of Waterloo, supervised by
127617a6 AB	24	<a href="https://cs.uwaterloo.ca/~nday/">Dr. Nancy Day</a>.
ff620ce6 AB	25	The main goal of my research is improving
	26	<strong>software and systems reliability</strong>
	27	through application of <em>formal methods</em>.
4ad3138c	28	</p>
ff620ce6	29
4ad3138c	30	<p>
ff620ce6 AB	31	My research at WatForm focuses on formal logic, model
	32	checking, and verification. I’m also interested in
	33	programming languages, theorem provers, and their type
	34	systems. You may wish to view my
	35	academic <a href="bandali-cv.html">curriculum vitae</a>.
	36	</p>
	37
	38	<p class="notice">
	39	<strong>SE 212 students:</strong>
	40	see <a href="se212-f19/">here</a> for slides and other
	41	material from the tutorials.
4ad3138c	42	</p>
ff620ce6	43
46e00845 AB	44	<p>
	45	On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
	46	and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
ff620ce6 AB	47	<a href="https://www.gnu.org/software/emacs/manual/elisp.html">Elisp</a>.
	48	I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a> activist
	49	and FSF <a href="https://www.fsf.org/associate/">supporter</a>, and a GNU maintainer
	50	and <a href="https://www.gnu.org/people/webmeisters.html#bandali">webmaster</a>.
	51	I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast with
	52	<a href="https://www.pygopar.com">Daniel Gopar</a>, and
	53	organize <a href="https://emacsconf.org">EmacsConf</a> with
	54	help from many wonderful people.
	55
	56	I am also a member of the Systems Committee for the
	57	<a href="https://csclub.uwaterloo.ca">Computer Science Club
	58	of the University of Waterloo</a>.
	59	</p>
	60
	61	<p>
	62	See my <a href="contact.html">contact</a> page for how to
	63	best reach me.
46e00845	64	</p>
9998ccd0	65	</section>
ff620ce6 AB	66
	67	<h3 id="papers">Papers</h3>
	68	<dl>
	69	<dt>
	70	A Comparison of the Declarative Modelling Languages B,
	71	Dash, and TLA<sup>+</sup>
	72	<span class="plinks">
	73	[
	74	<a href="papers/modre2018-declarative.pdf">pdf</a>
	75	\|
	76	<a href="papers/modre2018-declarative.bib">bib</a>
	77	]
	78	</span>
	79	</dt>
	80	<dd>
	81	Ali Abbassi,
	82	<a href="https://bandali.eu.org">Amin Bandali</a>,
	83	<a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>,
	84	and Jose Serna<br/>
	85	<em>2018 IEEE 8th International Model-Driven Requirements
	86	Engineering Workshop (MoDRE)</em><br/>
	87	Copyright © 2018 IEEE. All Rights Reserved. Sadly.
	88	</dd>
	89	</dl>
	90
	91	<h3 id="talks">Talks</h3>
	92	<dl>
	93	<dt>
	94	The Magic of Specifications and Type Systems
	95	<span class="plinks">
	96	[
	97	<a href="talks/cucsc-2017-slides.pdf"
	98	title="presented at the Canadian Undergraduate Computer Science Conference 2017,
	99	University of Toronto, Canada, June 15-17, 2017">slides</a>
	100	\|
	101	<a href="talks/eecs4080-poster.pdf"
	102	title="presented at the Lassonde Undergraduate Summer Student Research Conference,
	103	York University, Toronto, Canada, August 15, 2017">poster</a>
	104	]
	105	</span>
	106	</dt>
	107	<dd>
	108	<a href="https://bandali.eu.org">Amin Bandali</a>,
	109	<a href="https://github.com/cipher1024">Simon Hudon</a>,
	110	<a href="http://www.cse.yorku.ca/~jonathan/">Jonathan Ostroff</a>
	111	</dd>
	112	</dl>
	113
	114	<h3>Projects</h3>
	115	<p>
	116	Below are a number of free software projects I have worked on:
	117	</p>
	118	<dl>
	119	<dt><a href="https://git.sr.ht/~bandali/george-mode">george-mode</a></dt>
	120	<dd>Emacs major mode for editing George files</dd>
	121
	122	<dt><a href="https://git.uwaterloo.ca/bandali/alloy-catalyst">alloy-catalyst</a></dt>
	123	<dd>Framework for performance analysis of Alloy models</dd>
	124
	125	<dt><a href="https://github.com/unitb/unitb-web">unitb-web</a></dt>
	126	<dd>Web interface for Unit-B</dd>
	127
	128	<dt><a href="https://github.com/unitb/tex2png-hs">tex2png-hs</a></dt>
	129	<dd>Library and CLI for converting TeX and LaTeX to PNG images</dd>
130	</dl>
131
132	<h3>Notes</h3>
133	<ul>
134	<!-- <li>
135	<a href="streaming-with-free-software.html">Streaming with
136	Free Software</a>
137	</li> -->
138	<li>
139	<a href="bandali-computing.html">How I do my computing</a>
140	</li>
141	</ul>
9998ccd0	142	</main>
ff620ce6 AB	143	<footer>
	144	<p>
	145	Copyright © 2016–2019 Amin Bandali.
	146	See <a href="/license.html">license.html</a> for license
	147	conditions. Please copy and share.
	148	</p>
	149	</footer>
ef72be3e AB	150	</body>
ef72be3e AB	151	</html>