Zarrin Langari

I have recently graduated from the University of Waterloo, with a Ph.D. in computer science, and I am currently a Post-doc at the McMaster University

Email:  zlangari at uwaterloo dot ca

• Research
• Publications
• Teaching
• Experience
• Awards
• CV

  Interests

• Model-based Software Engineering
• Analysis and formal methods for verification of safety-critical software systems such as  real-time embedded systems in medical and automotive domains
• Formal modeling and analysis of communication protocols
• Software Certification