Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Taylor Johnson
Associate Professor
Vanderbilt University
United States
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Control System
Computational Neuroscience
Discrete-time Systems
Verification Engineering
Digital Logic
Formal Methods
Deep Learning
Ask ApplyKite AI
Recent Grants
Grant: Close
SHF: Small: Collaborative Research: Fuzzing Cyber-Physical System Development Tool Chains with Deep Learning (DeepFuzz-CPS)
Open Date: 2019-10-01
Close Date: 2022-09-30
Grant: Close
FMitF: Track II: Hybrid and Dynamical Systems Verification on the CPS-VO
Open Date: 2019-10-01
Close Date: 2021-03-31
Grant: Close
Understandable and Reusable Formal Verification for Cyber-Physical Systems
Open Date: 2018-02-01
Close Date: 2021-01-31
Grant: Close
CRII: CPS: Safe Cyber-Physical Systems Upgrades
Open Date: 2016-08-16
Close Date: 2017-06-30
Grant: Close
SHF: Small: Automating Improvement of Development Environments for Cyber-Physical Systems (AIDE-CPS)
Open Date: 2016-08-16
Close Date: 2018-08-31
Articles10
Collaborators6
Dung Tran
Assistant Professor
University of Nebraska - Lincoln
Ali Davoudi
Professor
The University of Texas at Arlington
Rushikesh Kamalapurkar
Oklahoma State University
Weiming Xiang
Augusta University
Omar Ali Beg
Assistant Professor
The University of Texas of the Permian Basin
Luan Nguyen
Assistant Professor
University of Dayton
How do I reach out?
Sign in for free to see their profile details and contact information.