Dr. Ryan Leduc: Supervised the design of DESpot and contributed code and bug fixes to various portions.

Magdin Stoica: Primary author and architect of DESpot.

Xiao Ma: Created the DES graphical editor and DES simulator.

Alex Achinfiev: Added graphical DES simulation and various extensions.

Adam Brousseau: Added help browser, and various bug fixes and extensions.

Xu Han: Added improved algorithms and data structures to decrease computation and memory usage. He also added multithreading to some algorithms.

Raoguang Song: Added bddHISC algorithms.

Yu Wang: Added bddSD algorithms.

Brian Hogg: Contributed various bug fixes.

Husam Ibrahim: Extended bddHISC algorithms to handle low data events.

David Viscomi: Various bug fixes, and worked on EPS export.

David Kirby: Distributed Computation.

Parul Manchanda: Multi-level HISC.

Zain Ajaz: Per-component simulation for HISC projects as well as simulation of automatically generated counter examples.

Bini Jiang: Added DES templates.

Jacob Howard: Added regression test suite.

David Thompson: Added curved transition arrows for DES display, and worked on EPS export.

Amal Alsuwaidan: Added Fault-Tolerant Supervisory Control support.

Urvashi Agarwal and Mengyen Chuang: Added support for specifying decentralized supervisory control structure for a project, and verifying co-observability.

Mahi Faiyaz: Ported DESpot to QT 5.