Zyad Hassan PhD Candidate Department of Electrical, Computer, and Energy Engineering University of Colorado at Boulder E-mail: zyad.hassan (at) colorado (dot) edu

About Me

I'm a PhD student in the Department of Electrical, Computer, and Energy Engineering at the University of Colorado at Boulder. I work with the MC@CU model checking group directed by Prof. Fabio Somenzi and Prof. Aaron Bradley. Our main focus is on the development of IImc, an Incremental, Inductive, model checker.

I earned my B.Sc. degree in Electronics and Communications from Cairo University, Egypt, in 2006, graduating with distinction with honors. Following my graduation, I spent one year studying Mathematics in the Engineering Mathematics Department at Cairo University.

I started my M.Sc. degree at the Department of Electrical and Computer Engineering at Queen's University, Ontario, Canada in 2007 and transferred after one year to the University of Colorado at Boulder to continue my degree at the Department of Electrical, Computer, and Energy Engineering. I earned my M.Sc. degree in 2009 with a focus on thermal analysis for integrated circuits.

Research Interests

I'm interested in formal methods in computer-aided design and model checking. I'm working on incremental inductive model checking.

Publications

• Zyad Hassan, Aaron R. Bradley, Fabio Somenzi, "Incremental Inductive CTL Model Checking", to appear in CAV'12.


• Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang, "An Incremental Approach to Model Checking Progress Properties", FMCAD'11.


• Zyad Hassan, Yan Zhang, Fabio Somenzi, "A Study of Sweeping Algorithms in the Context of Model Checking", DIFTS'11.

Master's Publications:

• Zyad Hassan, Nicholas Allec, Fan Yang, Li Shang, Robert Dick, Xuan Zeng, "Full-spectrum spatial-temporal dynamic thermal analysis for nanometer-scale integrated circuits", to appear in IEEE Trans. VLSI Systems.


• Jie Wu, Yifei Jiang, Zyad Hassan, Qin Lv, Li Shang, Dragan Maksimovic, "Large-scale battery system modeling and analysis for emerging electric-drive vehicles", in Proc. Int. Symp. Low Power Electronics and Design, 2010.


• Zyad Hassan, Nicholas Allec, Li Shang, Robert P. Dick, V. Venkatraman, Ronggui Yang, "Multiscale Thermal Analysis for Nanometer-Scale Integrated Circuits", in IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems 28(6), 2009.


• Nicholas Allec, Zyad Hassan, Li Shang, Robert P. Dick, Ronggui Yang, "ThermalScope: multi-scale thermal analysis for nanometer-scale integrated circuits", in Proc. Int. Conf. on Computer-Aided Design, 2008.