Registered user since Tue 19 Dec 2017

Name: Taylor T Johnson

Country: United States

Affiliation: Vanderbilt University

Personal website: http://www.TaylorTJohnson.com

Research interests: formal methods, cyber-physical systems, real-time systems, software engineering, distributed systems

Contributions