Runtime Vеrification
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.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.