IBMr
  • Country/region
  • [ change ]

  • Home
  • Business solutions
  • IT services
  • Products
  • Support & downloads
  • My IBM

People


IBM Researchers


Marco Pistoia
Marco Pistoia

Bard Bloom
Bard Bloom

Michael Burke
Michael Burke

Julian Dolby
Julian Dolby

John Field
John Field

Stephen Fink
Stephen Fink

Emmanuel Geay
Emmanuel Geay

Igor Peshansky
Igor Peshansky

Manu Sridharan
Manu Sridharan

Takaaki Tateishi
Takaaki Tateishi

Omer Tripp
Omer Tripp

Eran Yahav
Eran Yahav


University Collaborators

  • Anindya Banerjee, Instituto Madrileño de Estudios Avanzados
  • Patrick Cousot, New York University
  • Radhia Cousot, École Normal Supérieure
  • Greg Morrisett, Harvard University
  • David Naumann, Stevens Institute of Technology
  • Barbara Ryder, Virginia Tech

Students

  • Avraham Shinnar, Harvard University
  • Rajeev Gopalakrishna, Purdue University

Content navigation

  • LaBaSec: Language-Based Security at IBM Research
  • Program Analysis for Information Flow
  • Program Analysis for Access Control
  • Secure Language Design
  • Static Specification Mining and Verification
  • Digital Rights Management
  • String Analysis
  • Publications, Patents and Products
  • People
  • Contact Information
  • About IBM
  • Privacy
  • Contact
  • Terms of use
  • Accessibility