use bandali.eu.org
[~bandali/bndl.org] / research.html
... / ...
CommitLineData
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</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&nbsp;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>