commit another bunch of changes

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

deleted file mode 100644 (file)

index 878756e..0000000
--- a/research.html
+++ /dev/null
@@ -1,40 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8" />
-    <meta name=viewport content="width=device-width, initial-scale=1" />
-    <title>Amin 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"><a href="/">bandali</a></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>