February 2009: A special thanks went to Mitch Marcus and Ani Nenkova for hosting this years NACLO, North American Computational Linguistics Olympiad, competition.

January 2009: Boon Thau Loo received a prestigious NSF CAREER Award on "Towards a Unified Declarative Platform for Composable Verifiable Networks."

December 2008: Insup Lee received IEEE Technical Committee on Real-Time Systems (TCRTS) Technical Achievement Award for outstanding technical achievement and leadership. The award was given at the IEEE Real-Time Systems Symposium held in Barcelona, Dec 2008.

July 2008: Rajeev Alur was awarded the 2008 CAV Award for his fundamental contributions to the theory of Real-Time System Verifications.

January 2008: Professor Rajeev Alur named IEEE Fellow and ACM Fellow.

January 2008: CIS Welcomes New Department Chair, Weiss Professor Susan Davidson.

2007: CIS faculty rated 7th in the nation in faculty scholarly productivity. Read More

May 2008: Catherine Stocker received the Teaching Practicum Award for her exceptional work, dedication and attitude in CIS110 and EAS295.

2008: CIS PhD Student Georgios Fainekos is the 2008 winner of the Frank Anger Memorial ACM SIGBED/SIGSOFT
Student Award.

January 2008: CIS Phd Alumna Klara Nahrstedt named IEEE Fellow (Prof at UIUC)

2007: CIS PhD Student Swarat Chaudhuri won the 2008 ACM SIGPLAN Outstanding Dissertation Award for "Logics and Algorithms for Software Model Checking"