Naghmeh Ghafari

Naghmeh Ghafari earned a Ph.D. (2009) in Computer Science and a M.A.Sc. (2003) in Computer Engineering from the University of Waterloo, Ontario, and a B.Sc. (2000) in Electrical Engineering from the University of Tehran, Iran.

Naghmeh's experience includes seven years as Research Assistant and four years as Teaching Assistant at the University of Waterloo. She has been an instructor for Software Requirements course at the University of British Columbia. Her research interests are in software engineering, in particular, formal verification of software systems. Currently, she is a research associate at Critical Systems Labs Inc. (CSL) working on developing formal specification and verification techniques for safety critical systems. Prior to joining CSL, she was a postdoctoral fellow at the University of British Columbia. She is a recipient of the NSERC Doctorate Scholarship and NSERC Industrial R&D Fellowship.

Naghmeh has presented:

• Sep. 29, 2011: "Formal Verification of Real-Time Data Processing of the CERN LHC Beam Loss Monitoring System"