Over the course of the past few months, Jamil has traveled to several conferences. In this article, he shares more about his research and provides insight into his experience attending, presenting, and helping organize conferences.

Professor Guanpeng Li was recently awarded $600,000 from the National Science Foundation for a project titled "Collaborative Research: MELIOREM: An Integrated Evaluation Cyberinfrastructure towards Safe and Dependable Autonomous Driving Systems".

Professors Kosaian, Morris, and Tinelli, with support from administrative staff, will be hosting an NSF "Formal Methods in the Field" PI Meeting Nov. 12 & 13. Tinelli is a past Principal Investigator (PI) within that program.