Dr. David Musliner

Dr. Musliner is a Senior Staff Scientist at Smart Information Flow Technologies (SIFT), specializing in real-time intelligent autonomous systems.  For his Ph.D. in 1993, Dr. Musliner designed and implemented CIRCA, the Cooperative Intelligent Real-Time Control Architecture, one of the first AI control architectures capable of reasoning about and interacting with dynamic, hard real-time domains.  Since then, Dr. Musliner has applied CIRCA and other AI planning and control methods to control oil refineries, teams of UAVs, ground robots, air traffic management, and cyber defense systems.  He is currently investigating new concepts in high-confidence controller synthesis, formal verification for spacecraft operating procedures, cyber defense, and planning for autonomous satellite defense.