Programming & High-Performance Computing

  • Professor Zoran Budimlić is currently leading CnC-Madness, a multi-institutional NSF research project, whose goal is to develop new programming technologies based on CnC, a declarative, data-flow model for expressing and executing irregular tree-based scientific applications.  
  • Professors Robert “Corky” Cartwright, Keith Cooper, Kostas Mamouras, John Mellor-Crummey, Krishna Palem, and Moshe Vardi are leading research in Programming Languages, HPC, and Formal Methods, to achieve the vision of a robust, flexible, and accessible process of software design to better serve programming as both the heart of science and industry as well as a basic skill for everyday life.  
  • Professor Beatrice Riviere is developing state of art algorithms for modeling and optimizing physical phenomena occurring in porous media, with applications such as enhanced oil recovery, remediation of contaminated groundwater sites through rivers and lakes, and image segmentation of tumors.  
  • Professor Jesse Chan has received the prestigious NSF CAREER Award, and is developing new technologies for reliable simulations of fluid flow, which are central to scientific fields from environmental and aerospace engineering to solar physics.  
  • Professors Boris Yakobson and Ming Tang work on Theory, Modeling & Computation, exploring the material world at the naco, micro, and macro scales utilizing sophisticated theories and state of the art computational tools.  
  • Professors Jane Grande-Allen, Oleg Igoshin, and Rob Raphael lead research on Computational and Theoretical Bioengineering & Biophysics, using approaches from molecular biophysics, biomechanics, transport and kinetics, statistical mechanics and thermodynamics, nonlinear dynamics and control theory, and data science to identify general principles underlying the emergence of system-level properties across multiple length and time scales.