Awarded two O-level IBM Research Accomplishments for contributions to: (1) Mono2Micro; and (2) Konveyor