View from the CIT third to fifth floors

Work on CS's renovation and expansion to the CIT third floor is moving quickly, with an anticipated completion date of April 2. Our stairway, now extended to the third floor, was just today denuded of its long-term Christo-like plastic wrappings; the accompanying dramatic if somewhat vertiginous photo shows the view looking up from the third floor to the fifth.

We're delighted to announce that Shriram Krishnamurthi has received one of NSF's sought-after CAREER grants. To quote from the NSF web page, "The Faculty Early Career Development (CAREER) Program is a Foundation-wide activity that offers the National Science Foundation's most prestigious awards in support of the early career-development activities of those teacher-scholars who are most likely to become the academic leaders of the 21st century." Congratulations, Shriram!

Shriram's CAREER project is called "Formal verification of aspect-oriented software"; its abstract reads:

Module systems have grown significantly in scope and sophistication. The most recent ...