Saeid Tizpaz Niari
PhD Student at University of Colorado-Boulder
My field of research is about program modeling and analysis using formal verification, static and dynamic analysis, and experimental tools. In particular, I'm interested in specification and verification of security properties (like confidentiality and availability) in java programs and byte-codes. I am developing tools and approaches in order to automate finding vulnerabilities and confirming their existence/absence in java programs using formal methods, program analysis, statistics and learning approaches. Some of these tools are available in tools page. My research is under the supervision of Prof. Pavol Cerny.
My name is Saeid Tizpaz Niari (سعید تیزپاز نیاری). I have been a PhD student at Department of Electrical, Computer, and Energy Engineering (ECEE), University of Colorado-Boulder since August 2015.
I received my B.S degree in Information Technology (IT) from Tabriz University, Tabriz, Iran in 2011 with honors. Then, I joined as an M.S student to Computer Engineering Department at Sharif University of Technology (SUT), Tehran, Iran in 2011. I accomplished my M.S Thesis under the supervision of Prof. Amir Hossein Jahangir and received the degree in 2013. My M.S Thesis includes Vulnerability Analysis, Security Modeling and Analysis of Network Protocols, and Experimental Vulnerability Assessment. From Sep 2013 to August 2015, I was working as a researcher at CE Department in SUT.
Honors and Awards