Taylor Johnson's following
- CircuitCo
- Christoph Csallnercsallner
- 謝橋 (Hsieh, Chiao)hc825b
- Diego Manzanas Lopezmldiego
- Necmiye Ozaynecozay
- Petter Nilssonpettni
- Patrick Musau, Ph.D.pmusau17
- Ran HaoRANHAOHR
- Ron Picardronpicard
- Shafiul Azam Chowdhuryshafiul
- Software ImpactsSoftwareImpacts
- trhoangdung
- Temporal Logic Planning (TuLiP) toolboxtulip-control
- VeriDeep
- Peter Volgyesivolgy
