4 <meta charset=
"utf-8" />
5 <meta name=viewport
content=
"width=device-width, initial-scale=1" />
6 <title>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’s
</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>.