projects / ~bandali / bndl.org / blame
| Commit | Line | Data |
|---|---|---|
| ef72be3e AB |
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> | |
| 9998ccd0 AB |
14 | <main> |
| 15 | <header> | |
| 16 | <h1 id="title">bandali's</h1> | |
| 17 | <h2 id="subtitle">corner on the interwebs</h2> | |
| 18 | </header> | |
| 4ad3138c AB |
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> | |
| ef72be3e | 27 | <h3>academia</h3> |
| 9998ccd0 | 28 | <section> |
| ef72be3e AB |
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> | |
| 4ad3138c AB |
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> | |
| 9998ccd0 | 44 | </section> |
| ef72be3e | 45 | <h3>personal</h3> |
| 9998ccd0 | 46 | <section> |
| ef72be3e AB |
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> | |
| 4ad3138c AB |
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> | |
| 9998ccd0 AB |
63 | </section> |
| 64 | </main> | |
| ef72be3e AB |
65 | </body> |
| 66 | </html> |