add wip cv and research interests pages

[~bandali/bndl.org] / research.html
diff --git a/research.html b/research.html

new file mode 100644 (file)

index 0000000..c3e1a05
--- /dev/null
+++ b/research.html
@@ -0,0 +1,40 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <meta name=viewport content="width=device-width, initial-scale=1" />
+    <title>bandali's research interests</title>
+    <meta
+      name="description"
+      content="Amin Bandali's scientific and research interests" />
+    <link rel="stylesheet" href="/style.css" />
+  </head>
+  <body>
+    <main>
+      <header>
+        <h1 id="title">bandali’s</h1>
+        <h2 id="subtitle">Research interests</h2>
+      </header>
+      <section>
+        <p>
+          The main goal of my research is improving
+          <strong>software&nbsp;reliability</strong>
+          through application of <em>formal methods</em>.
+        </p>
+
+        <p>
+          My current research
+          at <a href="https://watform.uwaterloo.ca">WatForm</a>
+          focuses on formal logic, model checking, and verification.
+          I am also interested in programming languages, type systems,
+          and interactive theorem proving.
+        </p>
+
+        <p>
+          You may wish to view my
+          academic <a href="cv">curriculum vitae</a>.
+        </p>
+      </section>
+    </main>
+  </body>
+</html>