add kosaian

Author: kcordwel

_members/kosaian.md

@@ -0,0 +1,12 @@
+---
+name: Katherine Kosaian
+role: Professor
+subrole: Assistant Professor
+interests: Formal Verification, Interactive Theorem Proving
+email: katherine-kosaian@uiowa.edu
+website: https://sites.google.com/view/katherinekosaian
+photo: kosaian.jpeg
+layout: member
+subpath: '/assets/img/'
+---
+<!-- Write anything else here and it will be printed. -->