Patrick Lee is a member of the QNX Software Systems certification team, where he applies analysis techniques such as fault trees, Bayesian belief networks, formal model checking, and theorem proving to validate and improve the software design in QNX products for safety-critical markets. Before joining QNX, he worked in the development of avionics systems and software tooling for real-time embedded software developers at ECSI and at General Dynamics Canada. He has also worked as an embedded software developer at Nortel, Catena Networks, and Imagination Technologies. He holds a BSc, honours, in electrical and electronic engineering from Bath University and a post-graduate certificate in education from the University of Gloucestershire.