projects / ~bandali / bndl.org / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: afae466)
add wip cv and research interests pages
authorAmin Bandali <bandali@gnu.org>
Mon, 5 Aug 2019 04:04:41 +0000 (00:04 -0400)
committerAmin Bandali <bandali@gnu.org>
Mon, 5 Aug 2019 04:10:46 +0000 (00:10 -0400)
cv.html [new file with mode: 0644] patch | blob
index.html patch | blob | blame | history
research.html [new file with mode: 0644] patch | blob

diff --git a/cv.html b/cv.html
new file mode 100644 (file)
index 0000000..9320a1d
--- /dev/null
+++ b/cv.html
@@ -0,0 +1,69 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <meta name=viewport content="width=device-width, initial-scale=1" />
+    <title>bandali's curriculum vitae</title>
+    <meta
+      name="description"
+      content="Amin Bandali's curriculum vitae" />
+    <link rel="stylesheet" href="/style.css" />
+  </head>
+  <body>
+    <main>
+      <header>
+        <h1 id="title">bandali’s</h1>
+        <h2 id="subtitle">Curriculum Vitae (<a href="bandali-cv.pdf">PDF</a>)</h2>
+      </header>
+      <section>
+        <!-- <p>
+          <a href="bandali-cv.pdf">Download PDF version</a>
+        </p> -->
+        <table>
+          <tbody>
+            <tr>
+              <td>Site</td>
+              <td><a href="https://bandalis.org">bandalis.org</a></td>
+            </tr>
+            <tr>
+              <td>Email</td>
+              <td>abandali&nbsp;at&nbsp;uwaterloo&nbsp;dot&nbsp;ca</td>
+            </tr>
+            <tr>
+              <td>Phone</td>
+              <td>available upon request via email</td>
+            </tr>
+          </tbody>
+        </table>
+      </section>
+
+      <section>
+        <h3>Education</h3>
+        <h4>Master of Mathematics (Computer Science) | 2018-present</h4>
+        <p>University of Waterloo, Canada</p>
+        <p>
+          Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019
+        </p>
+        <p>
+          Research focusing on formal logic, model checking, and verification.
+        </p>
+
+        <h4>B.Sc. Honours Computer Science | 2013-2017</h4>
+        <p>York University, Toronto, Canada</p>
+        <p>GPA: 7.84/9.0</p>
+        <p>
+           Relevant courses: System Specification &amp; Refinement, Software Requirements Eng., Software
+           Design, Operating Systems, Computational Complexity, Design &amp; Analysis of Algorithms.
+        </p>
+        <p>
+          Finished first year (2013-14) at <em>Carleton University</em> with a GPA of 11.0/12.0, then
+          transferred to <em>York University</em> in fall 2014.
+        </p>
+      </section>
+      <section>
+        <h3>Publications</h3>
+        <p>See my <a href="/publications">publications</a> page.
+      </section>
+    </main>
+  </body>
+</html>
diff --git a/index.html b/index.html
index ce6d533..46b9dc3 100644 (file)
--- a/index.html
+++ b/index.html
@@ -30,7 +30,7 @@
           <ul id="academia">
             <li><a href="cv">CV</a></li>
             <li><a href="publications">Publications</a></li>
-            <li><a href="research-interests">Research interests</a></li>
+            <li><a href="research">Research interests</a></li>
           </ul>
         </nav>
         <p>
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>
Sources for my personal site