4 <meta charset="utf-8" />
5 <meta name=viewport content="width=device-width, initial-scale=1" />
6 <title>Amin Bandali's Research Interests</title>
9 content="Amin Bandali's scientific and research interests" />
10 <link rel="stylesheet" href="/style.css" />
15 <h1 id="title">bandali</h1>
16 <h2 id="subtitle">Research interests</h2>
20 The main goal of my research is improving
21 <strong>software reliability</strong>
22 through application of <em>formal methods</em>.
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.
34 You may wish to view my
35 academic <a href="cv">curriculum vitae</a>.