My work is in safety and security assurance of cyber-physical (aka autonomous) systems, or CPSs, i.e., systems characterised by computing devices that monitor and control physical processes. CPSs are found in numerous safety-critical domains like avionics, autonomous vehicles, and biomedical devices, domains where system errors can have fatal consequences. My research aims to develop formal analysis methods (verification, control, and synthesis) to design CPSs that are provably correct, with an emphasis on biomedical applications. With CPSs increasingly incorporating AI/ML components for e.g., sensing, control and model predictions, my work also focuses on data-driven verification of CPSs, whereby formal analysis and principled learning methods come together to provide correctness guarantees for such systems by fully taking into account their uncertainty and (potential) brittleness.