Emergency BU Alert Boston University's Charles River and Medical Center Campuses will be closing today, Monday, January 26, 2015 at 5:00 PM and will be closed all day Tuesday, January 27, 2015. All normal academic and administrative activities (e.g. classes, seminars and meetings) that are scheduled to take place after 5:00 PM on Monday are cancelled. When classes resume, they will resume on the regular class schedule. Whether or how classes are to be made up is at the discretion of the faculty member. For detailed information about the Boston University Medical campus, please go to http://www.bu.edu/ehs/comm Please note: Employees in essential services must report as scheduled. Essential services include, but are not limited to, University Police, Public Safety, Emergency Patient Treatment, Facilities Management and Planning, Environmental Health & Safety, University Dining Services, Mail Services, Student Health Services and the University Switchboard. For the very latest information, please go to http://www.bu.edu/today

Bestavros – Computer Science

Azer Bestavros
Options: Volunteer Basis, Independent Funding Available, Potential for UROP Funding, Potential for Work-Study Potential for Academic Credit

Formal Modeling of Networks
Expected number of students: 2-4
With the advent of software-defined networking architectures like OpenFlow, a large variety of novel networks roles and designs have arisen. This project concerns formal modeling of several such networks using the SPIN and ALLOY tools. Students will model the logic behind a variety of network types (e.g. mobile, ad-hoc, overlay, virtual etc.), focusing on their declarative (i.e. what happens, not how it happens) specification, on guarantees they provide to services running on them, and on the assumptions they rely on to function correctly.


UROP Information

Spring 2015 Award Packets are due back to the UROP office on Jan 27

The Summer 2015 UROP application will be open in February

Summer 2015 UROP applications will be due at noon on March 4