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> | |
| 1c986cd7 | 16 | <h1 id="title">bandali’s</h1> |
| 127617a6 | 17 | <h2 id="subtitle">Corner on the interwebs</h2> |
| 9998ccd0 | 18 | </header> |
| 4ad3138c AB |
19 | <section> |
| 20 | <p> | |
| 1c986cd7 | 21 | Hi, I’m |
| 4ad3138c | 22 | <a href="images/bandali-with-rms.jpg" |
| 127617a6 | 23 | title="photo of bandali with rms wearing a “pay cash don’t be tracked” pin">Amin Bandali</a>, |
| 4ad3138c AB |
24 | often just <code>bandali</code> around the web. |
| 25 | </p> | |
| 26 | </section> | |
| 127617a6 | 27 | <h3>Academia</h3> |
| 9998ccd0 | 28 | <section> |
| ef72be3e AB |
29 | <nav> |
| 30 | <ul id="academia"> | |
| 127617a6 AB |
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> | |
| ef72be3e AB |
34 | </ul> |
| 35 | </nav> | |
| 4ad3138c | 36 | <p> |
| 1c986cd7 | 37 | I’m a graduate student at <a href="https://watform.uwaterloo.ca">WatForm</a> |
| 127617a6 AB |
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 | |
| 4ad3138c AB |
42 | above for more details. |
| 43 | </p> | |
| 9998ccd0 | 44 | </section> |
| 127617a6 | 45 | <h3>Personal</h3> |
| 9998ccd0 | 46 | <section> |
| ef72be3e AB |
47 | <nav> |
| 48 | <ul id="personal"> | |
| 127617a6 AB |
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> | |
| ef72be3e AB |
53 | </ul> |
| 54 | </nav> | |
| 4ad3138c | 55 | <p> |
| 127617a6 AB |
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, | |
| 1c986cd7 | 61 | and I’m organizing <a href="https://emacsconf.org/2019/">EmacsConf 2019</a> this fall. |
| 4ad3138c | 62 | </p> |
| 9998ccd0 AB |
63 | </section> |
| 64 | </main> | |
| ef72be3e AB |
65 | </body> |
| 66 | </html> |