X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/afae466b8a0e3bdbc7792f6931026e9883ac592c..cc996fd29fdce36be099c1c832b4d005ca12efcd:/research.html 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. +

+
+
+ +