Name:Taylor T Johnson

Country:United States

Affiliation:Vanderbilt University

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