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
352-273-0303
yice@ufl.edu
Radiation transport simulation using deterministic and Monte Carlo methods,
deterministic transport algorithms and codes development, nuclear multi-group
cross section generation, medical imaging simulation, numerical methods and
parallel computing.
No Photo Available
No Photo Available
No Photo Available