AFOSR
-
CPS verification expert wins Air Force young investigator research award
Taylor T. Johnson, an assistant professor of computer science, computer engineering, and electrical engineering, has been recognized with an early career award from the Air Force Office of Scientific Research. He will receive a three-year grant to work on formal verification for cyber-physical systems (CPS) that is understandable and reusable. Read MoreOct. 20, 2017
-
BME doctoral student receives NDSEG Fellowship
Taylor T. Johnson, an assistant professor of computer science, computer engineering, and electrical engineering, has been recognized with an early career award from the Air Force Office of Scientific Research. He will receive a three-year grant to work on formal verification for cyber-physical systems (CPS) that is understandable and reusable. Read MoreSep. 19, 2014