Wes Weimer is a professor at the University of Michigan. His main research interests include static, dynamic, and medical imaging-based techniques to improve program quality, fix defects, and understand how humans engineer software. He received a BA degree in computer science and mathematics from Cornell and MS and PhD degrees from Berkeley. He is an ACM Senior Member and his work at ICSE, POPL and ASPLOS has received ten-year impact awards.