Qian Hu

Qian Hu received her M.Sc. and Ph.D. in Computer Science from McMaster University, where she worked on interactive theorem proving, deontic logic, and formal contracts. Her broader interests include logic, type theory, semantics of programming languages, software and system safety, and the use of formal methods in software engineering. Prior to joining RV, Qian was the co-founder and COO of Trinity Studio in China.