Main Page

 Saeid Tizpaz Niari
                    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 pageMy research is under the supervision of Prof. Pavol Cerny

Research Area
  • Static and Dynamic Analysis for Software Security
  • Application of Machine Learning in Program Analysis
  • Application of Program Synthesis in Computer Security
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 UniversityTabriz, 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
  • Winner of Second Prize among 650 participants in the 1st Microsoft Open Source Challenge in April 2016
  • PhD admissions with full financial aid from University of Colorado-Boulder, University of Minnesota-twin cities, Northwestern University, University of Florida, and University of Utah in April 2015. 
  • Ranked 2nd in the IT PhD entrance exam of Iranian Universities among 1112 participants in April 2015. 
  • Ranked 4 among 40 IT MS Students of Sharif University of Technology in September 2013. 
  • Ranked 1st among 56 of BS students at ECE department of Tabriz University in July 2011. 
  • Email: {my first name dot tizpazniari}at{}
  • Address: lab #1B61A, ECEE Department, University of Colorado-Boulder, Boulder, Co, 80309