Dung Tran — Computer Science & Eng. faculty at UF. Research: Formal Verification, Specification and Modeling Languages, AI Safety. Selected publications: See.