MENU Eight CSE faculty earn NSF CAREER Awards
Eight faculty in Computer Science and Engineering at the University of Michigan have been awarded NSF CAREER Awards in recognition of their potential to serve as academic role models in research and education and to lead advances in the mission of their department or organization. The recipients’ work spans topics in the theory of computation, programming languages, network security, and program synthesis.
Read more about each recipient’s project:
Nikola Banovic
The award will support Banovic’s research to democratize artificial intelligence (AI) by delivering explanations of AI decisions to end users. His project is titled “Achieving Explainable Artificial Intelligence (AI) through Human-AI Interaction.”
Mahdi Cheraghchi
Cheraghchi is exploring the intricate connections between coding theory, particularly list decoding of error-correcting codes, and the theory of pseudorandomness at the core of computer science. His project is titled “Efficiency Considerations in List Decoding and Pseudorandomness Theory.”
Roya Ensafi
Ensafi’s goal is to advance the scientific understanding of contemporary online censorship and develop principled and effective countermeasures. Her project is titled “Internet-wide Censorship Detection, Diagnosis, and Circumvention Beyond Nation-state Censorship.”
Paul Grubbs
Grubbs’ cryptographic techniques will help managed networks like those in schools and companies enforce network policies without the need to access user information, improving user security and privacy. His project is titled “End-to-End Encryption for Managed Networks.”
Euiwoong Lee
Lee seeks to improve performance guarantees in clustering, one of the most fundamental tasks in machine learning. His project is titled “Towards Optimal Approximabilities for Clustering.”
Cyrus Omar
Omar aims to develop programming environments that help programmers understand and interactively refine their program sketches. His project is titled “Live and Direct Programming Environments.”
Thatchaphol Saranurak
Saranurak will work to solve multiple open problems in dynamic graph theory by studying their inter-connections. The project is titled “Theory for Dynamic Graph Algorithms.”
Xinyu Wang
Wang is working to build an AI-based programming assistant to enable users to describe a repetitive task and generate a program to help them automate it. His project is titled “Interactive Program Synthesis for Web Automation.”