Articles from November 2017
Traffic and Safety Forum highlights advances, challenges
Monday, November 27, 2017
"Joe Kearney [...] was the keynote of the forum. He discussed safety possibilities for vulnerable road users -- including pedestrians and bicyclists -- utilizing new technologies.
Prof. Tinelli receives GE Global Research gift to support CVC4 tool
Tuesday, November 14, 2017
Prof. Tinelli received a $95,000 donation from GE Global Research in support of continued research and development of CVC4 tool.
Farooqi, Shafiq, et al. awarded Best Paper at ACM IMC 2017
Tuesday, November 7, 2017
Third year PhD student Sherhoze Farooqi, his advisor Prof.
Prof. Tinelli receives GE Global Research gift to support Kind 2 tool
Tuesday, November 7, 2017
Prof. Tinelli received a $95,000 donation from GE Global Research in support of continued research and development of Kind 2 tool.
Tinelli, Reynolds et al. awarded FMCAD ’16 Best Paper Award
Tuesday, November 7, 2017
Prof. Tinelli, Dr. Reynolds et al.