| | 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> |
| | 15 | <h1 id="title">bandali’s</h1> |
| | 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> |
projects / ~bandali / bndl.org / blame_incremental