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