X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/cfe6a758127c1ee27e6b287724234518a83e653e..ff620ce6ac85cf10600b3da9a640f6ebc3568444:/research.html diff --git a/research.html b/research.html deleted file mode 100644 index 878756e..0000000 --- a/research.html +++ /dev/null @@ -1,40 +0,0 @@ - - - - - - Amin Bandali's Research Interests - - - - -
-
-

bandali

-

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. -

-
-
- -