Commit | Line | Data |
---|---|---|
87aa40b4 AB |
1 | <!--# set var="title" value="Amin Bandali's Personal Site" --> |
2 | <!--# set var="nts" value="true" --> | |
191fccfd | 3 | <!--# include virtual="/ssi/pre.html" --> |
4927af92 AB |
4 | <section id="intro"> |
5 | <p>Hi, I'm Amin. I am currently a graduate student at the | |
6 | <a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a> | |
7 | group at the University of Waterloo, supervised by | |
8 | <a href="//cs.uwaterloo.ca/~nday/">Nancy Day</a>. | |
9 | The main goal of my research is | |
10 | improving <strong>software and systems reliability</strong> | |
11 | through application of | |
12 | <a href="//en.wikipedia.org/wiki/Formal_methods">formal methods</a>.</p> | |
13 | ||
14 | <p>My research at WatForm focuses on formal logic, model checking, and | |
15 | verification. I am also interested in programming languages, proof | |
16 | assistants, and their type systems.</p> | |
17 | ||
18 | <p>On the side, I enjoy | |
19 | <a href="//stallman.org/articles/on-hacking.html">hacking</a> on | |
20 | <a href="//www.gnu.org/software/emacs/manual/elisp.html">elisp</a> | |
21 | and <a href="//www.gnu.org/software/guile/">guile</a>. | |
22 | I am a GNU <a href="//www.gnu.org/people/#bandali">maintainer</a> and | |
23 | <a href="//www.gnu.org/people/webmeisters.html#bandali">webmaster</a>, | |
24 | a <a href="//www.gnu.org/philosophy/free-sw.html">free software</a> | |
25 | activist, and an <a href="//www.fsf.org/associate/">associate member</a> | |
26 | of the <a href="///www.fsf.org">Free Software Foundation</a>. | |
27 | I'm the co-host of the <a href="//emacsel.com">Emacs.el</a> | |
28 | podcast with <a href="//www.pygopar.com">Daniel Gopar</a>, and | |
29 | the chief organizer of the | |
30 | <a href="//emacsconf.org">EmacsConf</a> conference. | |
31 | I'm also a member of the Systems Committee of the | |
32 | <a href="//csclub.uwaterloo.ca">Computer Science Club</a> of | |
33 | the University of Waterloo.</p> | |
34 | </section> | |
35 | ||
36 | <section id="papers"> | |
37 | <h2>Papers</h2> | |
38 | <dl> | |
39 | <dt>A Comparison of the Declarative Modelling Languages B, DASH, and | |
40 | TLA<sup>+</sup> | |
41 | <small> | |
42 | [ <a href="papers/modre2018-declarative.pdf">pdf</a> | |
43 | | <a href="papers/modre2018-declarative.bib">bib</a> | |
44 | ] | |
45 | </small> | |
46 | </dt> | |
47 | <dd> | |
48 | Ali Abbassi, <a href="//bandali.eu.org">Amin Bandali</a>, | |
49 | <a href="//cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, Jose Serna<br/> | |
50 | <em>2018 IEEE 8th International Model-Driven Requirements Engineering | |
51 | Workshop (MoDRE)</em><br/> | |
52 | Copyright © 2018 IEEE. All Rights Reserved. Sadly. | |
53 | </dd> | |
54 | </dl> | |
55 | </section> | |
56 | ||
57 | <section id="talks"> | |
58 | <h2>Talks</h2> | |
59 | <dl> | |
60 | <dt>The Magic of Specifications and Type Systems | |
61 | <small> | |
62 | [ <a href="talks/cucsc-2017-slides.pdf" | |
63 | title="presented at the Canadian Undergraduate Computer Science Conference 2017, | |
64 | University of Toronto, Canada, June 15–17, 2017">slides</a> | |
65 | | <a href="talks/eecs4080-poster.pdf" | |
66 | title="presented at the Lassonde Undergraduate Summer Student Research Conference, | |
67 | York University, Toronto, Canada, August 15, 2017">poster</a> | |
68 | ] | |
69 | </small> | |
70 | </dt> | |
71 | <dd> | |
72 | <a href="//bandali.eu.org">Amin Bandali</a>, | |
73 | <a href="//github.com/cipher1024">Simon Hudon</a>, | |
74 | <a href="//www.cse.yorku.ca/~jonathan/">Jonathan S. Ostroff</a> | |
75 | </dd> | |
76 | </dl> | |
77 | </section> | |
78 | ||
79 | <section id="projects"> | |
80 | <h2>Projects</h2> | |
81 | <p>Below are a number of free software projects I have worked on:</p> | |
82 | <dl> | |
83 | <dt><a href="//git.bandali.eu.org/george-mode">george-mode</a></dt> | |
84 | <dd>Emacs major mode for editing George files</dd> | |
85 | ||
86 | <dt><a href="//git.bandali.eu.org/alloy-catalyst">alloy-catalyst</a></dt> | |
87 | <dd>Framework for performance analysis of Alloy models</dd> | |
88 | ||
89 | <dt><a href="//github.com/unitb/unitb-web">unitb-web</a></dt> | |
90 | <dd>Web interface for Unit-B</dd> | |
91 | ||
92 | <dt><a href="//github.com/unitb/tex2png-hs">tex2png-hs</a></dt> | |
93 | <dd>Library and CLI for converting TeX and LaTeX to PNG images</dd> | |
94 | </dl> | |
95 | </section> | |
96 | ||
97 | <section id="notes"> | |
98 | <h2>Notes</h2> | |
99 | <p>Here are notes about a variety of topics and issues I care | |
100 | about.<!--<br/> | |
101 | They're also available via | |
102 | <a href="notes.atom"> | |
103 | <img class="feed-icon" src="/icon-12px.png" | |
104 | alt="subscribe to atom feed">Atom</a> | |
105 | and | |
106 | <a href="notes.rss"> | |
107 | <img class="feed-icon" src="/icon-12px.png" | |
108 | alt="subscribe to rss feed">RSS</a> feeds.--></p> | |
109 | ||
110 | <table class="post-list"> | |
111 | <tbody> | |
112 | <tr> | |
113 | <td><a href="computing">How I do my Computing</a></td> | |
114 | <td><small>September 14, 2019</small></td> | |
115 | </tr> | |
116 | ||
117 | <tr> | |
118 | <td><a href="arch-macbook-air">Arch GNU/Linux on MacBook Air 2013</a></td> | |
119 | <td><small>November 1, 2016</small></td> | |
120 | </tr> | |
121 | </tbody> | |
122 | </table> | |
123 | </section> | |
191fccfd AB |
124 | <!--# set var="copy" value="2016–2019" --> |
125 | <!--# include virtual="/ssi/post.html" --> |