Runtime Vеrification
Yan Liu works for RV from Australia. She has received her PhD from National University of Singapore and worked in ADSC, Singapore/UIUC as a post-doc. She has broad interest in logics, programming languages and is keen on exploring applications of formal methods in real world problems. Prior to join Runtime Verification, she worked in confidential computing team of AntChain and Data Foundation team of Ant Group.
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.