Naeem Abbasi

I am an electrical engineer by profession. During my graduate studies, I focussed on problems related to reliability analysis of engineering systems using formal methods based techniques such as higher-order logic theorem proving and probabilistic model checking.