Jie Fu — Electrical & Computer Eng. faculty at UF. Research: Theory and algorithms for synthesizing correct-by-construction autonomous systems through.