Main Page

Live as if you were to die tomorrow. Learn as if you were to live forever.

Saeid Tizpaz Niari
                    Saeid Tizpaz Niari
PhD Student at University of Colorado-Boulder
Computer Engineering of ECEE department

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 (worldwide) 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. 
  • Graduated among top 10% of IT MS students in CE Department of Sharif University of Technology in Sep 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