Taylortjohnson.com Website Review

2010 helping develop novel embedded control systems for downhole tools. taylor's research focus is developing formal verification techniques and software tools for cyber-physical systems (cps). taylor has published over four-dozen papers on these methods and their applications across cps domains such as power and energy systems, aerospace and avionics systems, automotive systems, transportation develop reliable embedded and cyber-physical systems by advancing and applying techniques and tools from formal methods, control theory, air force base in 2011. taylor is a 2016 recipient of the afosr young investigator program (yip) award. physical location (lab): verivital - the verification and validation for intelligent and. as*istant professor of computer engineering (cmpe), computer science (cs), and electrical engineering (ee) email (preferred, be sure to remove spam prevention): taylor.johnson at nospam dot gmail dot com email (school, be sure to remove spam prevention): taylor.johnson at nospam dot vanderbilt dot edu spam notice: please be aware that my spam filters are set to very high sensitivity given the volume of mail received. if you do not hear back research synopsis: defects stemming from the interaction of software and physical processes in embedded and cyber-physical systems (cps) are rampant and are becoming more prevalent as exemplified by frequent product recalls in industries such as automotive, medical devices, and consumer products. to address this challenge to ensure cps meet the strictest safety, security, and reliability requirements, our research agenda is to develop formal verification techniques and tools for cps, building on and advancing foundational results in formal methods, properties of distributed cps where arbitrarily many agents participate in a protocol, such as in air traffic control protocols, network protocols, networked control systems, and swarm robotics. this uniform verification technique for parameterized systems verifies