Westley Weimer

Westley Weimer is a Professor at the University of Michigan He recently moved from the University of Virginia. He received his PhD from the University of California at Berkeley. His research interests include reducing the costs associated with software development at scale (particularly through automated program repair) as well as program analysis, formal veri cation, and human linguistic and visual interaction with software. He is a senior member of the Association for Computing Machinery and his work has led to over ten thousand citations and several awards, including three ‘Humies’ for his work on using Genetic Improvement for bug xing. He also organised the second and third Genetic Improvement Workshops.

  • Location: University of Michigan
  • Website: Link