| | 1 | <!DOCTYPE html> |
| | 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> |
| | 14 | <main> |
| | 15 | <header> |
| | 16 | <h1 id="title">bandali’s</h1> |
| | 17 | <h2 id="subtitle">Corner on the interwebs</h2> |
| | 18 | </header> |
| | 19 | <section> |
| | 20 | <p> |
| | 21 | Hi, I’m |
| | 22 | <a href="images/bandali-with-rms.jpg" |
| | 23 | title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>, |
| | 24 | often just <code>bandali</code> around the web. |
| | 25 | </p> |
| | 26 | </section> |
| | 27 | <h3>Academia</h3> |
| | 28 | <section> |
| | 29 | <nav> |
| | 30 | <ul id="academia"> |
| | 31 | <li><a href="cv">CV</a></li> |
| | 32 | <li><a href="publications">Publications</a></li> |
| | 33 | <li><a href="research-interests">Research interests</a></li> |
| | 34 | </ul> |
| | 35 | </nav> |
| | 36 | <p> |
| | 37 | I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a> |
| | 38 | at University of Waterloo, supervised by |
| | 39 | <a href="https://cs.uwaterloo.ca/~nday/">Dr. Nancy Day</a>. |
| | 40 | My research at WatForm focuses on formal logic, model |
| | 41 | checking, and verification. See my research interests link |
| | 42 | above for more details. |
| | 43 | </p> |
| | 44 | </section> |
| | 45 | <h3>Personal</h3> |
| | 46 | <section> |
| | 47 | <nav> |
| | 48 | <ul id="personal"> |
| | 49 | <li><a href="blog">Blog</a></li> |
| | 50 | <li><a href="now">Now</a></li> |
| | 51 | <li><a href="computing">Computing</a></li> |
| | 52 | <li><a href="contact">Contact</a></li> |
| | 53 | </ul> |
| | 54 | </nav> |
| | 55 | <p> |
| | 56 | I’m a <a href="https://www.gnu.org/philosophy/free-sw.html">Free Software</a> |
| | 57 | and <a href="https://www.gnu.org/licenses/copyleft.html">Copyleft</a> activist, |
| | 58 | an <a href="https://www.fsf.org/associate/">FSF associate member</a>, |
| | 59 | and a <a href="https://www.gnu.org/people/webmeisters.html#bandali">GNU webmaster</a> |
| | 60 | and volunteer. I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast, |
| | 61 | and I’m organizing <a href="https://emacsconf.org/2019/">EmacsConf 2019</a> this fall. |
| | 62 | </p> |
| | 63 | </section> |
| | 64 | </main> |
| | 65 | </body> |
| | 66 | </html> |
projects / ~bandali / bndl.org / blame_incremental