Jan Hoffmann will receive an Amazon Research Award for his work on serverless computing. 

Hoffmann, an associate professor in the Computer Science Department and part of CMU's CyLab Security and Privacy Institute, will use the award to fund his project, "Automatic Static Resource Analysis for Serverless Computing."

"A challenge in serverless computing is scheduling millions of jobs so computational resources are used efficiently," Hoffmann said. "This project is about improving scheduling by developing techniques for predicting the resource requirements of individual jobs before they are executed. Such predictions can help to reduce the cost and energy consumption of cloud computing."

Amazon Research Awards provide funding, access to Amazon public datasets, and the use of artificial intelligence and machine learning services and tools. Each award aims to support one year of work for one to two graduate students or postdoctoral students with faculty supervision. Hoffmann was among 26 awardees from 25 universities.

"Research in automated reasoning is deeply intertwined with a broad range of other research areas, touching machine learning, hardware and software engineering, robotics, and life sciences," said Daniel Kroening, senior principal scientist for Amazon's Automated Reasoning Group. "The 2021 Amazon Research Awards reflect this breadth, and the interdisciplinary nature of research that is necessary to take computing one step closer to that magic spark that drives human reasoning."

Read more about the research awards on the Amazon | Science website.