Jing (Janet) Liu is a Senior Software Engineer in the Advanced Technology Center (ATC). She earned her Ph.D. in Computer Science from Iowa State University, with a research focus on state-based modeling and model checking for safety critical product lines. Janet worked in the Flight Controls department in Commercial Systems Engineering from 2008 to 2015, where she planned and led the software development of the first project that complied with DO-178C. She was part of the platform software team for the first Primary Flight Control Computer (PFCC) developed by Rockwell Collins, and led the model-based development of the first application on the PFCC. Janet joined ATC in 2015 and has worked on projects funded by NASA, Boeing, AFRL, and the US Army. She has pioneered techniques that apply formal modeling and analysis to the challenge of building trusted system architectures. She serves on the enterprise Model Based Development Steering Committee.