Stephanie Balzer
Systems Scientist, Computer Science Department
Stephanie Balzer interested in programming languages, type theory, and program verification, and am currently working on session-typed concurrent programming and its application to real-world concurrent programs that demand sharing.