Two computer science and engineering faculty receive NSF CAREER awards

Swarat Chaudhuri and Bhuvan Urgaonkar, both assistant professors of computer science and engineering at Penn State, have received National Science Foundation (NSF) Faculty Early Career Development (CAREER) awards.

According to the NSF, "This is the most prestigious awards in support of junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education and the integration of education and research within the context of the mission of their organizations."

Chaudhuri works on automated mathematical methods for reasoning about programs, and the applications of such methods in proving programs correct and synthesizing programs from high-level specifications. His CAREER award will fund research on techniques to formally verify the robustness of programs operating under uncertainty. Examples of such programs include software components of cyber-physical systems, which routinely process noisy, sensor-derived data and execute in unreliable operating conditions. Chaudhuri's methods will help the engineering of these programs so that they respond to the uncertainty in their environment in a predictable way.

Urgaonkar's general research interests are in the design, implementation and evaluation of distributed systems, operating systems and storage systems. His CAREER proposal aims to turn recently emergent cloud-based hosting into a mature utility. Towards this end, he will study the problems of accountable resource metering, auditing and distributed resource allocation in clouds.

Last Updated March 08, 2010