LabCompass

Max Taylor

Computer Science · The Ohio State University

OpenAlex ORCID
Mid career · publishing since 2005
Software Testing and Debugging TechniquesSecurity and Verification in ComputingSoftware Reliability and Analysis ResearchFormal Methods in VerificationAdversarial Robustness in Machine Learning

Publications

10

Citations

31

Est. group size

—

Recurring co-author estimate

Active years

22

Publishing since 2005

Research summary
AI-generated

Max Taylor works on making software systems safer and more trustworthy, particularly for drones, industrial control systems, and AI-integrated software. Their work combines formal methods (mathematical techniques for proving software behaves correctly) with practical tools for detecting bugs and security flaws, including in communication protocols used by unmanned vehicles and industrial equipment, and in neural network controllers.

Software verification and formal methodsSecurity of communication protocols (e.g., MAVLink, Modbus)Software testing and static analysis for bug detectionSafety and reliability of AI-integrated and cyber-physical systemsVerified neural network controllers

Publication activity was minimal or absent for most of the past decade but has picked up noticeably since 2024, with multiple works appearing in 2025 and 2026.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 1.4/year recently
171819202021: 2 publications212022: 1 publication22232024: 1 publication242025: 3 publications3252026: 2 publications26
Recent publications
Publishes in
  • Lecture notes in computer science×2
  • Proceedings of the ACM on Programming Languages×1
  • Open MIND×1
Similar researchers
By research-topic overlap
  • Qingkai Shi

    Computer Science · Purdue University West Lafayette

  • Xiangyu Zhang

    Computer Science · Purdue University West Lafayette

  • Xuwei Liu

    Computer Science · Purdue University West Lafayette

  • Mingwei Zheng

    Computer Science · Purdue University West Lafayette

  • Hyungsub Kim

    Computer Science · Purdue University West Lafayette

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 19, 2026.

Claim or correct this profile