Recent Work in the Science of Software and Systems

Stavros Tripakis
Thursday, 16 May, 2019 - 14:00
Forum B, Campus Plaine

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.