Ivan Ruchkin — Electrical & Computer Eng. faculty at UF. Research: Safe and trustworthy autonomy, cyber-physical systems, guarantees for learning components.