Richard Carver

Richard Carver is an Associate Professor in the Computer Science Department at George Mason University.

Research Interests:

• Specification, Testing, and Verification of Concurrent Programs

Recent Publications

Modern Multithreading Textbook

Send e-mail to Professor Carver:

Concurrent Systems: A page on the World Wide Web dedicated to Concurrent Systems.