This news item is about: As part of the study, Cornell investigators will analyze fibrillation onset in cardiac tissue. Two Cornell researchers at the College of Veterinary Medicine are part of a 19-investigator team that was awarded $10 million under the prestigious Expeditions in Computing program of the National Science Foundation. Under the five-year grant, investigators from eight institutions will be helping to develop and apply the next generation of model checking and abstract interpretation. The investigators will use these computational tools to address challenging problems in complex biological and embedded systems. Four issues will be investigated with support from this multi-disciplinary, multi-institution grant: mechanisms of atrial fibrillation, inter-cellular signaling in pancreatic cancer and the control systems embedded in automobiles and aircraft.