Jingyao is interested in real-time operating systems and hardware. She presently works on device virtualisation for seL4
More contact information is available at the Contact page.