EECS 662

Programming Languages



I will be out-of-town attending a DARPA PI meeting September 24-28, thus we will not have class that week. My plan is to schedule an optional make-up session for those who are interested.

The DARPA meeting is for the stairCASE effort we are working on with Rockwell Collins, Data61, Galois, Adventium and K-State. We are developing techniques to statically prove security of a mission planning system for UAVs. KU’s task is developing a remote attestation system with formal properties that integrate into static analysis results. This includes a language (APDT) and tools for checking and interpreting it. I’m happy to discuss with anyone intersted or talk about the project in class.