Qishen works on formal methods, model-driven engineering on large models, distributed system and incremental computation. He is also working on the DARPA project – Verified Security & Performance Enhancement of Large Legacy Software (V-SPELLS), to model and verify safety of Unmanned Aerial Vehicles (UAV).