Final project presentations for ECE 5

13 awesome projects spanning: Reinforcement learning, robotics, network measurements, termination proofs, firmware verification, code-level verification, low-level code, reachability, control barrier functions, data-driven verification, HIPAA conformance, neural network controllers and verification, model learning

Presenters: Peter Du, Mingjia Huo, Vishakh Suresh Babu, Maxwell Bland, Chuyuan Tao, Katherine Braught,  Tzu-Bin Yan,  Haoqing Zhu,  Lin Song,  Tito Oyewole, Samhita Marri, Pranay Thangeda, Emily Belovich