Photo
PROJECT MEMBERS

Introduction
Members
Publications
Presentations
Patents
 
squareIBM Research

spaceOther projects in

squareProgramming Languages
space& Software Engineering

spaceRelated Disciplines

spaceChemistry
squareComputer Science
spaceElectrical Engineering
spaceMaterials Science
spaceMathematical Sciences
spacePhysics

spacePage Contact
David

David Bacon

Perry

Perry Cheng

Dubroy

Patrick Dubroy

Dave

Dave Grove

Rajan

V.T. Rajan

Martin

Martin Vechev

 

Collaborators

Thomas A. Henzinger, École Polytechnique Fédéral de Lausanne

Christoph Kirsch, Universität Salzburg,

Edward A. Lee, U.C. Berkeley

 
     About IBM   |   Privacy   |   Legal   |   Contact