Robby

Robby is a Professor in the Department of Computer Science at Kansas State University's College of Engineering, holding the Don and Linda Glaser - Carl and Mary Ice Keystone Research Scholar title. He maintains an active research profile through the SAnToS Lab and has been continuously affiliated with the university since 2004.

His educational background includes:

• Ph.D. in Computer Science from Kansas State University (2004)
• M.S. in Computer Science from Kansas State University (2000)
• B.S. in Computer Science from Oklahoma State University (1998)

Robby's research centers on formal methods and software engineering, specializing in specification and verification techniques for high-assurance systems. His work develops user-friendly formal languages and cost-efficient verification algorithms that significantly enhance software trustworthiness in safety-critical domains like aerospace and defense systems. This research bridges theoretical foundations with practical industrial applications through tools like the Sireum framework.

His publication record (2021-2025) reveals a strong trajectory toward integrated verification ecosystems, particularly the Sireum suite (Logika, Slang) and HAMR toolset for AADL-based development. These works consistently address model-code verification gaps and contract-based testing in cyber-physical systems, demonstrating growing industry adoption through collaborations with organizations like Galois and NASA.

Notable recognitions include:

• NASA Turning Goals into Reality award (2003)
• NSF CAREER award (2007)
• ICSE Most Influential Paper award (2000)
• ACM SIGSOFT Impact award (2010)
• FMICS Best Tool Paper Award (2024)

Robby's research program combines significant funding from sources like the NSF CAREER grant with active industry partnerships. His SAnToS Lab serves as a hub for developing verification methodologies that scale from academic prototypes to real-world deployment in safety-critical systems, emphasizing practical toolchains for assurance engineering.

He leads the SAnToS Lab (Software Analysis and Test Organization), which focuses on advancing formal verification techniques for high-integrity software through frameworks like Sireum and HAMR, with applications spanning microkernels, cyber-physical systems, and educational tools.