John Hopkins is a graduate student majoring in computer science at West Virginia University. He holds degrees in mathematics and computer science from West Virginia Institute of Technology. As part of the Software Reusability Group at West Virginia University, his research interests include formal specification, formal verification, language design and software quality.
Sitaraman is an assistant professor in computer science at the West Virginia University. He has a Ph.D. from The Ohio State University (1990). His research focuses on various aspects of software reuse and software engineering, in general. He and members of his group are currently working on specification of abstract functionality and performance, formal verification and testing, language design, portability, distributed and real-time computing, and education. Sitaraman has authored several technical papers on related topics in software engineering. He is a member of the ACM and IEEE Computer Society.