Beverly A. Sanders
Associate Professor
Biography
Formal methods, software specification and verification, parallel and distributed systems, object-oriented programming.
Education
Ph.D., 1985, Harvard University
Formal methods, software specification and verification, parallel and distributed systems, object-oriented programming.
Ph.D., 1985, Harvard University