Dr. Janet Liu is a Senior Manager of the Trusted Methods Group in the Applied Research & Technology organization at Collins Aerospace. She earned her Ph.D. in Computer Science from Iowa State University. She has been with Collins Aerospace (previously Rockwell Collins) since 2008, with experience in Commercial Systems Flight Controls and Applied Research & Technology. Janet has served as the PI and key contributor for various external and internal research programs. She was the PI for NASA FMPACT program that performed the formal methods productivity assessment compared with traditional methods. She also led the internally funded research effort on safe and secure system design, including model-based safety and security analysis for flight critical systems.
.jpg)
© Florida Institute of Technology, All Rights Reserved