From cc996fd29fdce36be099c1c832b4d005ca12efcd Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Mon, 5 Aug 2019 00:04:41 -0400 Subject: [PATCH] add wip cv and research interests pages --- cv.html | 69 +++++++++++++++++++++++++++++++++++++++++++++++++++ index.html | 2 +- research.html | 40 +++++++++++++++++++++++++++++ 3 files changed, 110 insertions(+), 1 deletion(-) create mode 100644 cv.html create mode 100644 research.html diff --git a/cv.html b/cv.html new file mode 100644 index 0000000..9320a1d --- /dev/null +++ b/cv.html @@ -0,0 +1,69 @@ + + + + + + bandali's curriculum vitae + + + + +
+
+

bandali’s

+

Curriculum Vitae (PDF)

+
+
+ + + + + + + + + + + + + + + + +
Sitebandalis.org
Emailabandali at uwaterloo dot ca
Phoneavailable upon request via email
+
+ +
+

Education

+

Master of Mathematics (Computer Science) | 2018-present

+

University of Waterloo, Canada

+

+ Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | Expected completion: December 2019 +

+

+ Research focusing on formal logic, model checking, and verification. +

+ +

B.Sc. Honours Computer Science | 2013-2017

+

York University, Toronto, Canada

+

GPA: 7.84/9.0

+

+ Relevant courses: System Specification & Refinement, Software Requirements Eng., Software + Design, Operating Systems, Computational Complexity, Design & Analysis of Algorithms. +

+

+ Finished first year (2013-14) at Carleton University with a GPA of 11.0/12.0, then + transferred to York University in fall 2014. +

+
+
+

Publications

+

See my publications page. +

+
+ + diff --git a/index.html b/index.html index ce6d533..46b9dc3 100644 --- a/index.html +++ b/index.html @@ -30,7 +30,7 @@

diff --git a/research.html b/research.html new file mode 100644 index 0000000..c3e1a05 --- /dev/null +++ b/research.html @@ -0,0 +1,40 @@ + + + + + + bandali's research interests + + + + +

+
+

bandali’s

+

Research interests

+
+
+

+ The main goal of my research is improving + software reliability + through application of formal methods. +

+ +

+ My current research + at WatForm + focuses on formal logic, model checking, and verification. + I am also interested in programming languages, type systems, + and interactive theorem proving. +

+ +

+ You may wish to view my + academic curriculum vitae. +

+
+
+ + -- 2.20.1