ACC-UCoE will create and manage a robust Technology Exchange, Workforce Development, and STEM Edu- cation partnership between AFRL and UIUC to strengthen AFRL’s in-house technical training capabilities and pre- pare the AF’s next generation of “cyber officers for the cyber battle space.” Frequent substantive professional inter- changes between AFRL and ITI/UIUC faculty researchers and top students (U.S. citizens) specializing in technolo- gy areas vital to the AF will offer opportunities for AFRL new employee recruitment. The Partnership offers mul- tiple opportunities for interaction through collaborative research that shares information and best practices, promotes authoring of joint studies and publications, and facilitates faculty and student visits and workshops at both AFRL and ITI/UIUC, including personnel exchanges through reciprocal visiting researcher programs and student intern- ship programs. Dr. Dilia Rodriguez at Rome Labs has extensive experience using Maude in the formal specification and verification of assured distributed systems. Her published work in this area includes case studies on protocol verification [Rod00], modeling and analysis of security protocols [Rod02], and modeling and analysis of sensor networks [Rod07]. She has expressed her willingness to collaborate on the formal specification and verification tasks of the proposed UCoE research. Because of her experience in formal methods and her knowledge of Maude, she can foster a fruitful collaboration in the formal methods aspects of the proposed research between various re- searchers at Rome Labs and at UIUC. Overall, the Partnership will

1. Leverage all of ITI’s existing professional development, training, and student programs (Summer Internship Program, Scholarship for Service Program);
2. Leverage existing educational (includ- ing distance learning) facilities at AFRL/ROME and UIUC;
3. Facilitate a reciprocal program of “visiting research- ers” between ITI and AFRL; and
4. Implement the “ACC-UCoE Distinguished Lecture Series,” which will schedule 4 lectures per year at AFRL-Rome.

The following ACC researchers from UIUC will spend up to 10 weeks during one or more summers at AFRL-Rome facilities for intensive collaboration and technology exchange with AFRL researchers: Senior faculty members including Dr. Roy Campbell, Dr. David Nicol, Dr. Bill Sanders, and/or their designates; research scientist (to be hired); post-doc (to be hired). During the summer internship program, undergraduate students will work on some aspect of ACC research. Each student will be assigned an ITI and an AFRL mentor. ITI has an existing REU program during the summers, which can easily be added as a feature of the program. In addition, UCoE can provide scholarship grants for under- graduate or graduate students who would be selected and admitted to join the ACC research team. The students would be obligated to work for AFRL upon graduation in return for the scholarship. This scholarship program will be modeled after the Scholarship For Service (SFS) program that ITI has been awarded by NSF.