NSF recognition puts UL 老司机福利网 computer scientist in elite company

Published

A 老司机福利网 faculty member has received one of the National Science Foundation鈥檚 most prestigious awards.

The NSF鈥檚 Faculty Early Career Development Program recognizes researchers, such as UL 老司机福利网鈥檚 Dr. Sheng Chen, who are in the early stages of their academic careers. The program鈥檚 CAREER Award acknowledges a faculty member鈥檚 potential as a researcher and a teacher.

Chen is an assistant professor in the University鈥檚 School of Computing and Informatics. He joined the faculty in August 2015 after earning a doctorate in programming languages at Oregon State University in Corvallis.

A five-year, $506,000 grant accompanied the recognition. Chen will use the money to enhance his research of type systems. Type systems are parts of a programming language that identify errors. But the error messages users receive are often imprecise and unhelpful in finding a solution, Chen said.

鈥淧roductivity and correctness of the program are so important. My goal is to try to add certain features that make program languages more useful or to try to detect more problems before you run your program.鈥

There are everyday examples of type systems outside the realm of programming, Chen said.

鈥淟ook at that outlet,鈥 he said, pointing to his office wall. 鈥淲e don鈥檛 worry about its appearance. The only thing we worry about is that it satisfies certain requirements 鈥 can we plug something into it and power a device?鈥

Like a type system, the size and shape of the receptacle and its openings stop a user from 鈥渄oing wrong things,鈥 Chen explained. 鈥淔or example, I cannot put my USB into that outlet.鈥

Type systems and their detective skills can also head off disasters with hefty price tags. NASA鈥檚 failed Mars orbiter provides a cautionary tale, Chen said.

The space agency lost the $125 million spacecraft in 1999 when NASA鈥檚 engineers used the metric system while a contractor鈥檚 engineers used English units. The misalignment blocked communication between the orbiter and crews on earth, and the craft was never seen or heard from again.

Chen said his research would have enabled NASA to better detect 鈥 and possibly fix 鈥 the problem beforehand.

鈥淲hen we talk about values, they all have measures. Some are centimeters. Others are meters. When we talk about temperature, we have Fahrenheit and Celsius.

鈥淚n programming, we don鈥檛 have that kind of support. But such errors can be well detected with my work. I can add a unit of measure to the program.鈥

The NSF recognized 557 CAREER recipients in 2017. The awards go only to faculty members whose institutions rank them as assistant, or entry-level, professors.

Chen is the fifth UL 老司机福利网 faculty member to receive the award, said Dr. Azmy S. Ackleh, dean of the Ray P. Authement College of Sciences.

The others were Dr. Danella Zhao, a 2011 honoree; Dr. Miao Jin, in 2009; Dr. Dmitri Perkins, in 2005; and Dr. Hongyi Wu, in 2004. 

Like Chen, each taught in the School of Computing and Informatics, which the College of Sciences oversees.

鈥淭his is one of the most prestigious funding awards early-career faculty can get,鈥 Ackleh said. 鈥淚t shows the caliber of faculty we have in the College of Sciences. Their research ideas make them competitive at the national level.鈥

The NSF is an independent federal agency. It provides funds for nearly a quarter of all federally supported research American colleges and universities conduct.

It first presented the CAREER Award in 1995.

Photo: Dr. Sheng Chen (Credit: 老司机福利网 / Logo courtesy of the National Science Foundation)