Clyde Ruby

Clyde Ruby is an Associate Professor of Computer Science at Iowa State University. He holds a PhD from Iowa State University (2006) and prior degrees from Maharishi International University (BA, MA, MS). His research focuses on programming language semantics, particularly in object-oriented contexts, specification languages like JML and Larch/C++, and verification methodologies. Ruby has contributed to foundational work on subclass verification and formal software specification frameworks.

• Education:
  • PhD in Computer Science, Iowa State University (2006)
  • MS in Computer Science, Maharishi International University
  • MA and BA from Maharishi International University

Ruby’s research emphasizes ensuring software correctness through formal methods, including modular subclass verification and the design of behavioral interface specifications (e.g., JML). His work bridges theory and practice, aiming to enhance software reliability and maintainability. He has published extensively on topics like specification languages, formal verification, and object-oriented programming principles.

His research trends include advancing specification frameworks for Java (JML), exploring formal methods for runtime assertion checking, and improving subclass verification techniques without superclass code access. These efforts contribute to safer and more precise software development practices.

Ruby has collaborated on significant projects like the Java Modeling Language (JML) and Larch/C++. While no awards are explicitly listed, his impactful contributions to formal methods are evident through his publications in top venues like ACM SIGSOFT and Science of Computer Programming.

He leads the JML project and contributes to Larch-related initiatives, focusing on bridging formal specifications with practical software engineering workflows.