Osman Hasan Electrical and Computer Engineering Department Concordia University EV.2.312, 1455 de Maisonneuve Blvd. W. Montréal, Québec, Canada H3G 1M8 Phone: +1-514-848-2424 x 7023 Email: o_hasan AT ece DOT concordia DOT ca

I am a post-doctoral fellow at the Hardware verification group, in Concordia Univeristy. I also did my PhD, titled Formal Probabilistic Analysis using Theorem Proving, in the same group under the supervision of Dr. Sofiène Tahar. My main area of interest is Formal Verificaiton using Theorem Proving in Higher-Order-Logic.

• Research
• Publications
• Resume