Ufuk Topcu — Aerospace Engineering faculty at UT Austin. Research: Research Areas: Artificial Intelligence Formal Methods Intelligent Robotics Research.