X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/8b2bd4899f02ec1fa8f0d918396ea77afe0686ad..38037201dbf3f00be325989475299157654ba9da:/index.html?ds=inline diff --git a/index.html b/index.html index d9d4a62..e51bf90 100644 --- a/index.html +++ b/index.html @@ -1,160 +1,151 @@ <!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> + <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> - <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> - + <nav><span>bandali.eu.org</span></nav> <main> + <h1 id="hiddentitle">Amin Bandali</h1> <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> - - <section> - <h2 id="research-interests">Research interests</h2> <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. Nancy Day</a>. The main goal of my research is improving - <strong>software reliability</strong> + <strong>software and systems reliability</strong> through application of <em>formal methods</em>. </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. + 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> - I am also interested in programming languages, type systems, and - interactive theorem proving. + <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 <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. + 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> - You may wish to view my academic <a href="bandali-cv.pdf">curriculum vitae</a>. + See my <a href="contact.html">contact</a> page for how to + best reach me. </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> + <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> - <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> + <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> - <section> - <h2 id="writings">Writings</h2> - <dl> - <dt>Will be added soon.</dt> - <!-- <dd></dd> --> - </dl> - </section> + <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 (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>. + Copyright © 2016â2019 Amin Bandali. + See <a href="/license.html">license.html</a> for license + conditions. Please copy and share. </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> </html>