No Photo Available
No Photo Available
352-846-0202
tuba@ece.ufl.edu
Specification and automated verification of concurrent software systems, model checking, static analysis, software engineering.
No Photo Available