Kit Siu has extensive experience designing safety critical and high assurance software for military jet engines and avionics applications. She worked on a GE research program to develop validation and verification technology for software specification, requirements capture, and requirements analysis based on formal methods. She is also one of the Principal Investigators on a project called Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT), part of DARPA's Cyber Assured Systems Engineering (CASE) program. Previously, she was the Principal Investigator on a program called SOTERIA (Safe & Optimal Techniques Enabling Recovery, Integrity, and Assurance), a NASA funded research project to develop technology for modeling IMA components, synthesizing fault trees, and synthesizing IMA architectures that meet safety requirements. Her past experience includes designing closed loop controls for the F136, alternative engine for the F-35 Joint Strike Fighter military aircraft. Her work on the F136 program included model-based controls design, control code implementation using model-based design tools, and test vector generation in compliance with DO-178B verification process working closely with software engineers on the program.
Kit has been working at GE since 2000 and is a graduate of GE's Edison Engineering Development Program (EEDP).
"The good thing about science is that it's true whether or not you believe in it."
Kit enjoys running and biking. She is also an amateur photographer. She is a big fan of the marching arts and likes to attend Drum and Bugle Corps shows where she gets to practice taking pictures of marching ensembles.