Recent Work in the Science of Software and Systems

Science is knowledge that helps us make predictions. This talk gives an overview of some of our recent work on this broad topic, and in particular:

(1) the Refinement Calculus of Reactive Systems, a compositional modeling and formal reasoning framework;

(2) synthesis from scenarios and requirements, a combination of learning from examples and synthesis from specifications; and

(3) synthesis of platform mappings with applications to security.