flowspecs
People

Dave Naumann (Stevens Institute of Technology)

Gary Leavens (U. Central Florida)

David Cok (Grammatech)

Anindya Banerjee (IMDEA Software)

Mounir Assaf (Stevens) postdoctoral associate
Andrey Chudnov (Stevens, alumnus: defended PhD in 2016) now at Galois Inc.
Tushar Deshpande (UCF)
Fred Gravil (UCF)
Mohammad Nikouei (Stevens)
David Orshan (Stevens)
Julian Sexton (Stevens, alumnus: completed MS thesis in 2016) now at MITRE
John Singleton (UCF)
Chunyu Tang (Stevens, alumnus: defended PhD in 2013)
Toby Tobkin (UCF)
Cheng Wei (UCF)