From: Amin Bandali Date: Mon, 5 Aug 2019 04:04:41 +0000 (-0400) Subject: add wip cv and research interests pages X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/cc996fd29fdce36be099c1c832b4d005ca12efcd add wip cv and research interests pages --- 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. +

+
+
+ +