Bud Mishra's research featured on cover of the Journal of the Royal Society Interface
Expedition scientist, Bud Mishra (Courant, NYU), in collaboration with other members of the CMACs team, has been using signaling games to build and check models of cancer progression. Last year, his team of computer scientists, biologists, and biomedical scientists proposed a new model to explain the evolution of the genetic code. “The genetic code, by which nucleic acids are translated to amino acids, is universal. But it wasn't always so.” They showed, “The application of signaling games, the theory of how codes evolve, to protein translation may illuminate the progression of life in an RNA world.” Their paper, which was published in the Journal of the Royal Society, has been featured on the cover of the most recent issue of the Journal. Mishra, who graduated from Carnegie-Mellon in 1985, pioneered the use of model checking for hardware verification, starting with the discovery of a flaw in Chuck Seitz’s FIFO queue circuit. He and his students have continued to apply model checking and automata theory to control theory, robotics, systems biology, intrusion detection, and more recently to cyber security.
The work was partially funded by NSF (Expedition in Computing).