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.
Manocha and his team are the first to their knowledge to develop a crowd simulation model that integrates physiological, psychological and physical factors.
