More Related Content Similar to IBM Research and BM Haifa Research Lab Overview (20) IBM Research and BM Haifa Research Lab Overview1. IBM Haifa Research Lab
IBM Research & Haifa Research Lab Overview
David Bernstein
Program Manager of CEE Collaboration
IBM Haifa Research Lab
December 7, 2012
2012 IBM Corporation
2. IBM: 100 Years of Innovations that Matter
Highlights of IBM Research
1944: 1948: 1956: 1957: 1964: 1966: 1967: 1970: 1971:
Mark 1 SSEC RAMAC FORTRAN System/360 One-Device Fractals Relational Speech
Memory Cell Database Recognition
Nobel Prizes:
1973: 1979: 1980: 1986: 1987: 1990: 1994: 1993: RS/6000 SP
Winchester Disk Thin Film RISC Scanning High Temperature Chemically SIGe 1996,97: Deep Blue
Recording Tunneling Superconductivity Amplified
Heads Microscope Photoresists
2004: 2006: 2008: 2010:
1997: 1998: 1998: Watson
Copper Silicon-on-Insulator Microdrive 2002: Blue Gene 5-stage Carbon World’s First Petaflop
Interconnect Millipede The fastest Nanotube Ring Supercomputer
Wiring supercomputer Oscillator
in the world
IBM Research – Haifa © 2012 IBM Corporation
3. Evolution of IBM Research
Collaboration for a
Smarter
Planet
Integrated
Solutions
Services
Research Agenda
Software
Hardware
1970s 1980s 1990s 2000s 2010s
IBM Research – Haifa © 2012 IBM Corporation
4. IBM Research - ~3k IBMers
Dublin China
Zurich
Almaden Watson Haifa
Tokyo Highly Innovative
Austin India 50% of external honors
Kenya 46% of IBM Fellows
25% of all patents filed
Brazil
26% of new academy members
Melbourne
Widely Recognized
5 Nobel Laureates
14 National Medals
Largest lab outside of the US 6 Turing Awards
84 Members, National Academies
14 Inductees, National Inventors
Hall of Fame
4 IBM Research – Haifa © 2012 IBM Corporation
5. IBM Haifa Research Lab
IBM Haifa Research Lab
• IBM’s largest Research facility outside USA
• Spans many IBM Research strategy areas:
Storage, Verification, Systems – Cloud Computing, Information
Management, Collaboration, Event Processing, Optimization,
Machine Learning, Distributed Middleware, Software development,
Services Science, Healthcare Information, Mobile Technologies
• Focus on technology leadership
• Innovative breakthroughs
• IP assets and patents
• Scientific publications
• Industry standards
• Practice innovation that matters
• Focus on solving customer challenges
• Bridge academia, innovation sources and IBM
• Build an innovation pipeline through synergy with sister development labs
5 © 2012 IBM Corporation
7. IBM Haifa Research Lab
Cloud Computing
Research Applications
Optimal allocation of system Reservoir – federation of
resources clouds
– energy, performance, availability – Large EU project, led by HRL
Application mobility Private clouds
Special Purpose Clouds
– Storage cloud
– Software development cloud
7 © 2012 IBM Corporation
9. IBM Haifa Research Lab
Verification Technology
Research Applications
Biased random generators Test generation for coverage
– Bug detection in circuit, processor,
Formal verification system designs
– Used in every IBM chip design
Temporal logic
Formal verification of designs
and programs
Defining the IEEE standard for
Property Specification
Language
– Assertion Based Verification widely
applied using PSL and supported by
all Electronic Design vendors
9 © 2012 IBM Corporation
11. IBM Haifa Research Lab
Compiler Optimization
Research Applications
Advanced data structures Improvements of key IBM
Algorithms announcements
– DB2; Oracle, Sybase on IBM
Complexity servers
Compiler/Architecture
co-design Part of IBM offerings
Parallel/Distributed computing – AIX performance tools
Post link optimization – Cell Processor SDK
11 © 2012 IBM Corporation
12. IBM Haifa Research Lab
Tools for the Multicore Processors
Code Analyzer GCC compiler advanced
optimizations: auto-par
Trace Analyzer
– Analysis and visualization
– Expert system
– Part of Visual Performance Analyzer (VPA)
Trace Analyzer
Code Analyzer
– Part of Visual Performance Analyzer (VPA)
FDPR-Pro – post-link optimizer
12 © 2012 IBM Corporation
14. IBM Haifa Research Lab
Distributed Computing
Research Applications
Distributed computing Distribution and consistency
– Group communication
services
– Virtual synchrony – WebSphere cluster
– WebSphere Front Office for
– Total order Financial Markets
– High throughput, low latency
High availability
– Messaging oriented middleware
Reliable Multicast Messaging
– WebSphere MQ Low Latency
Messaging Product
– Reuters RMDS
14 © 2012 IBM Corporation
15. IBM Haifa Research Lab
Reliable Multicast Messaging
A Research asset matures into a customer solution
Enables IBM to sign a deal with
Reuters news agency
15 © 2012 IBM Corporation
16. IBM Haifa Research Lab
Software Testing Analysis and Review (STAR)
Research Applications
Software Development Testing of concurrent
programs
– Methodologies and tools
Coverage analysis
Software Verification and – Reduce the size of the test
Testing while increasing its quality
Usage of modeling for early
detection of defects
16 © 2012 IBM Corporation
17. IBM Haifa Research Lab
Social & Web 2.0 Technologies
Research Applications
Social Network Analysis Social Networks & Discovery
– Aggregating and analyzing
Relationship mining relationships across social media
– Support search,
Recommender Systems recommendations, expertise
location, reputation, …
Social Travel
– Adding social and aggregation
features to travel applications
– Work with IBM Travel on a global
system
Experience Organizer
– Augmenting human memory
17 © 2012 IBM Corporation
18. IBM Haifa Research Lab
Information Retrieval
Research Applications
Information retrieval Enterprise & Desktop search
– IBM WebSphere Portal search engine
Text analysis – Semantic search in e-mails
Text mining Faceted search and BI
– eDiscovery Analyzer
Classification
– Cognos Search
Social search
– Lotus connections
IBM Jeopardy Challenge
Customer profiling
– For mobile providers
Multimedia Search
– Audio / Visual search.
SAPIR EU project
18 © 2012 IBM Corporation
21. IBM Haifa Research Lab
Optimization
Research Applications
Empty container logistics
Large scale linear and integer – Two of the worlds largest
programming container shipping companies
Queuing models Optimal assignments of
Modeling & simulation employees to jobs
– Optimatch - used by IBM Services
Combinatorial optimization (200,000+ employee organization)
Constraint satisfaction Trucks configuration
– One of the largest truck
manufacturers in the world
Shift work optimization
– Bezeq – 144, Erfurt, Germany
Delivery Service
Airline Crew Assignment
– El-Al
21 © 2012 IBM Corporation
22. IBM Haifa Research Lab
Machine Learning
Research Applications
Statistical analysis Defect prediction in silicon
wafer fabrication
Data classification
– IBM Fab: 300mm wafers
Adapt medication for AIDS
treatment
European program – EUResist
22 © 2012 IBM Corporation
24. IBM Haifa Research Lab
Computer Vision
Research Applications
Computer vision and shape License plate recognition for
analysis traffic management
Pattern recognition – Stockholm road charging
Optical character recognition Processing of business
documents
– Seismic data
– US insurance services
Book scanning for digital
libraries
– IMPACT – EU project
– Hearst archive
24 © 2012 IBM Corporation
25. IBM Haifa Research Lab
Building a Smarter Planet: Smart Traffic
City of Stockholm breaks gridlock with a smart road use
management system
What’s smart?
• New, Dynamic Business Model
• Congestion Charging
• Real-time traffic prediction
• Technology to optically recognize
cars in milliseconds
• Real-time congestion tolling
Smarter Business Outcomes
• 25% Reduction in Traffic
Fact: Cost of congestion in U.S. • 40,000 more citizens on public
transportation system nears $200 transportation
billion each year • Less noise pollution and lower
carbon emissions
25 © 2012 IBM Corporation
26. IBM Haifa Research Lab
Speech
Research Applications
Spoken Term Detection Text to speech
Speaker identification and – IBM Embedded ViaVoice
segmentation
– Honda and other automotive
Speech synthesis customers
Voice morphing
Voice and Video Search
– SAPIR - EU Project
– HERMES - EU Project
26 © 2012 IBM Corporation
28. Multi-Faceted Collaboration with Academia
• Joint research activities, aiming (mostly) to increase # of joint publications
• 2012 collaboration activities supported by IBM GUP
• 3 OCRs, 3 co-funded Faculty Awards, 1 self-funded Faculty Award, 3 Ph.D. Fellowship Awards
• Joint organization of research events and seminars (ICML 2010)
• 2012 events co-sponsored by EMEA Country Projects: SYSTOR 2012, Clinical Genomics Analysis Workshop
• Joint projects under government grants (mostly through the European Program)
• Supervision of under-graduate projects
• Joint supervision of graduate students
• IBMers employed in academia as faculty adjuncts or industry consultants
• Students and Faculty members work in HRL
• Students employment, faculty members - consultants
• Internships and post-doctoral positions
• 4 non-Israeli interns in summer 2011 (3 great minders and one PhD student from Edinburgh)
• Students working in IBM premise, funded by the universities
IBM Research – Haifa URLEF, Frankfurt, May 15-16, 2012 IBM Confidential © 2012 IBM Corporation
29. IBM Research – Haifa: Seminars and Conferences
2011 Seminars
– SYSTOR 2011 - The 4th Annual International Systems and Storage
(May 30 – June 1, 2011)
– Clinical Genomic Analysis Workshop (June 2, 2011)
– Machine Learning Seminar (June 12, 2011)
– Parallel and Distributed Systems Workshop: Testing, Analysis, and
Debugging Workshop 2011 (July 17, 2011)
– Future of Healthcare (November 14, 2011)
– Haifa Verification Conference 2011 (December 6-8, 2011)
IBM Research Haifa Leadership Seminars 2012 Seminars
• Academic conferences led by HRL
– Hardware Formal Verification with RuleBase-SixthSense Edition
colleagues
• Excellent reputation in Israeli academia April 2, 2012
and industry – SYSTOR 2012 - 5th Annual International Systems and Storage
• Some turned to be international events
Conference, June 4-6, 2012
– HVC 2012 - Haifa Verification Conference 2012, November 6-8,
2012
https://www.research.ibm.com/haifa/Workshops/seminars2012.shtml
IBM Research – Haifa URLEF, Frankfurt, May 15-16, 2012 IBM Confidential © 2012 IBM Corporation
30. Great Minds Program in HRL
Initiated in 2010: one student from Kazakhstan/KBTU
2011 ad-hoc program
1. Evaldas Vaiciukynas, Dept. of Electrical & Control Equipment, Kaunas University of
Technology, Lithuania. PhD student under supervision of Prof. Antanas Verikas
2. Kęstutis Dalinkevičius, Faculty of Mathematics and Informatics, Vilnius University, Lithuania
3. Elena-Georgiana Copil, Technical University of Cluj-Napoca, Department of Computer Science,
Romania. Ms.C student under supervision of Prof Ioan Salomie
4. Irina Kondratyeva, Novosibirsk State Tech Univ, Russia
– 2012 integrated HRL/Zurich program
1. Janos Csorba, Hungary
2. Onder Suvak, Turkey
3. Jagoda Lazarek, Poland
IBM Research – Haifa URLEF, Frankfurt, May 15-16, 2012 IBM Confidential © 2012 IBM Corporation