projects / ~bandali / bndl.org / blame
| Commit | Line | Data |
|---|---|---|
| cc996fd2 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>bandali's research interests</title> | |
| 7 | <meta | |
| 8 | name="description" | |
| 9 | content="Amin Bandali's scientific and research interests" /> | |
| 10 | <link rel="stylesheet" href="/style.css" /> | |
| 11 | </head> | |
| 12 | <body> | |
| 13 | <main> | |
| 14 | <header> | |
| ea846b41 | 15 | <h1 id="title">bandali</h1> |
| cc996fd2 AB |
16 | <h2 id="subtitle">Research interests</h2> |
| 17 | </header> | |
| 18 | <section> | |
| 19 | <p> | |
| 20 | The main goal of my research is improving | |
| 21 | <strong>software reliability</strong> | |
| 22 | through application of <em>formal methods</em>. | |
| 23 | </p> | |
| 24 | ||
| 25 | <p> | |
| 26 | My current research | |
| 27 | at <a href="https://watform.uwaterloo.ca">WatForm</a> | |
| 28 | focuses on formal logic, model checking, and verification. | |
| 29 | I am also interested in programming languages, type systems, | |
| 30 | and interactive theorem proving. | |
| 31 | </p> | |
| 32 | ||
| 33 | <p> | |
| 34 | You may wish to view my | |
| 35 | academic <a href="cv">curriculum vitae</a>. | |
| 36 | </p> | |
| 37 | </section> | |
| 38 | </main> | |
| 39 | </body> | |
| 40 | </html> |