News Highlights Oct 12 - Faculty Colloq: Testing k-Monotonicity (The Rise and Fall of Boolean Functions) Oct 2016 Oct. 12 - Faculty Colloq: Automated Vulnerability Analysis and Exploit Generation for Web Applications Oct 2016 NSF CSR Program Funds Gandhi's Cloud Computing Research Oct 2016 Oct. 7 - Quantitative Verification beyond Markov: Models, Techniques and Tools Oct 2016 Start-Ups Share their Wisdom with Computer Science Students Oct 2016 Oct 3 - On Fragmentation in Virtualized Data Centers Sep 2016 CS Faculty, Students, and Staff Recognized at Graduate Student Orientation Sep 2016 $3M NSF Grant Will Fund PhD Student Training in Data Analytics, Visualization and Science Communication Sep 2016 CS Department Welcomes Prospective New Students at CS Tech Day Sep 2016 Load More