PRECISE weekly meetings :
PRECISE weekly meetings for Fall 2009 will be held on Wednesdays, 3-4pm in Levine 512. Everyone is welcome!
Fall 2009 Seminar:
The seminar schedule for Fall 2009 is up
Read More
Economist Article: "The Connected Car":
Cars are becoming more connected, both to remote systems for navigation and information, and to each other
Read More
2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award:
CIS PhD student Gergios Fainekos is the 2008 winner of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award
Read More
November 2008:
George Pappas is announced as an IEEE Fellow for his contributions to design and analysis of hybrid control systems.
2008 CAV Award:
Rajeev Alur was awarded the 2008 CAV Award for his fundamental contributions to the theory of Real-Time System Verifications. Read More
SIGPLAN Outstanding Doctoral Dissertation Award won by CIS PhD Student Swarat Chaudhuri is the 2007 Award for "Logics and Algorithms for Software Model Checking"Read More
CIS faculty rated 7th in the nation in faculty scholarly productivity Read More
ACM Best Paper Award:
CIS Researchers, Rajeev Alur and Aditya Kanade, won the Best Paper Award at the ACM Conference on Embedded Software, EMSOFT 2008 for their joint work with the GM India Science Lab Read More
