Man Lin

• Analysis and synthesis of reactive systems