He will develop next-generation programming languages that integrate strong correctness guarantees and verification technology with the aim of elevating the reliability of software.
Using computer modeling, scientists identified three categories of data hospitals should collect to more accurately predict cancer patients’ immune response to therapy.