National Science Foundation has awarded $1.86 million to three Stony Brook University professors.

Go Back to News Highlights

Stony Brook University part of $10 million NSF grant for Computational Modelling and Analysis of Complex Systems.

The National Science Foundation has awarded $1.86 million to three Stony Brook University professors to develop computational techniques for analyzing models of complex systems arising from a wide array of application domains. A particular focus of the research will be disease-related biological systems, including inter-cellular signaling in pancreatic cancer and fibrillation onset in cardiac tissue, and the control systems found embedded in automobiles, aircraft, and spacecraft.

The award is part of a five-year, $10 million grant in NSF's "Expeditions in Computing" initiative. Stony Brook faculty are teamed with scientists at Carnegie Mellon University, the project's lead institution, along with researchers at New York University, Cornell University, University of Maryland, University of Pittsburgh, NASA's Jet Propulsion Laboratory, and the City University of New York's Lehman College.

Computer Science Professor Scott Smolka is the principal investigator at Stony Brook University. He is also the project's Deputy Director, a position he shares with Computer Science Professor Amir Pnueli of NYU. Smolka and Pnueli will work closely with Project Director and lead PI Edmund M. Clarke, a professor of computer science at CMU. Pnueli and Clarke are both recipients of the ACM Turing Award, Computer Science's equivalent of the Nobel Prize.

Smolka is joined on the project by Stony Brook colleagues and co-investigators James Glimm, Distinguished Professor of Applied Mathematics and Statistics and Department Chair, and Radu Grosu, Associate Professor of Computer Science. Smolka's research focuses on concurrency theory, model checking, and the application of these techniques to biological, control and cyber-security systems. Grosu's research interests include model-based design and verification of cyber-physical systems. Glimm is renowned for his contributions to C*-algebras, quantum field theory, partial differential equations, and fluid dynamics, and is a recipient of the National Medal of Science.

To see the details of this award check this Press Release.