Johnathon Aurand

Johnathon Aurand is a researcher at The Ohio State University specializing in software engineering, with a focus on static analysis techniques for improving software reliability through automated error detection in unit type systems.

His research spans critical areas of modern software development:

• Static Program Analysis
• Type Systems and Type Theory
• Unit Testing Methodologies
• Error Detection and Prevention
• Software Verification
• Program Correctness

These interests address fundamental challenges in ensuring computational accuracy, particularly for physical unit consistency in safety-critical applications.

At ASE 2022, Aurand introduced SA4U—a practical static analysis tool for unit type error detection—demonstrating a significant shift toward deployable analysis techniques that bridge theoretical type systems with real-world development workflows. This work highlights growing industry-academia convergence in static analysis tools, emphasizing usability and integration into existing software pipelines while targeting preventable errors that cause catastrophic system failures in engineering domains.