University of Utah
Department of Computer Science



 Home Page    Search    Content Index    Help

Computer Science Visitors and Post-Docs


Abdelillah Mokkedem, Visiting Assistant Professor. Formal verification, Utah Verifier, Formal hardware design. mokkedem@cs.utah.edu.


Back to Department of Computer Science Home Page
webmaster@cs.utah.edu
Last modified December 8, 1998