Research Assistant (Spring'22 - )
Ali Ranjbar
I am Ali Ranjbar. My research interests include Formal Verification, System Security, Vulnerability Discovery, Operation Systems, and Programming Languages.
Educations
TBD
Research interests
TBD
Selected Publications
TBD