352-294-7770
xiangyan@ufl.edu
Applied AI and data analytics,Transportation,Public policy
404-649-7212
yu.yang1@ufl.edu
Foundational AI,Transportation,Energy,Personalized learning
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