Max Robotics — Global Service Robot Directory + US Certification

About

Taylor T. Johnson is a prominent researcher in formal verification, neural network safety, and cyber-physical systems, whose work has significantly advanced the rigorous analysis of artificial intelligence in safety-critical applications. His most influential contribution, "Output Reachable Set Estimation and Verification for Multilayer Neural Networks" (2018), introduced the concept of maximum sensitivity to formally verify the safety of multilayer perceptron networks, earning over 270 citations and establishing him as a leading voice in neural network verification. Johnson has consistently pushed the boundaries of scalable analysis, developing parallelizable reachability algorithms for feed-forward networks and simulation-guided approaches for neural network control systems — work that directly addresses AI vulnerabilities in adversarial environments. Beyond neural networks, his research spans hybrid systems verification tools such as C2E2 and HyST, distributed trace analysis for cyber-physical systems, and more recently the formal verification of behavior trees for robotic planning through projects like BehaVerify. His benchmark contributions for large-scale linear systems further support the broader verification community. With publications spanning over a decade and accumulating hundreds of citations, Johnson's portfolio reflects a sustained, impactful commitment to making intelligent and autonomous systems provably safe and reliable.