LogicStar

Develops tools for evaluating software engineering agents against real code and engineering outcomes, alongside automated software maintenance. Based in Zurich