His objective is to advance a research agenda that develops novel architecture, methodology and design techniques for efficiently addressing emerging safety and resilience challenges in computer systems, specifically targeting embedded cyber-physical systems in the medical, automotive and distributed sensing and control domains.