News

PhD Candidate Award Recipients - 2018

Thursday, January 11, 2018

Jones: "Was the Heated 2016 Democratic Primary Rigged for Debbie Wasserman Schultz?"

"They ought to be reconciling the number of voters with ballots and if they’re not doing it, 'they’re grossly negligent.'"...

Shafiq on KCRG-TV9: Online holiday shopping safety tips from a cybersecurity expert

"This is the first thing hackers try to do, they try to use the same password to log into other websites"...

Traffic and Safety Forum highlights advances, challenges

"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.