Miklós Ajtai and Regina Barzilay received IEEE medals for applying unexpected methods to computer science
News
Peter Hess
Computer Science
IBM has been at the forefront of computer science research since the field’s inception. Our research today focuses on achieving breakthroughs in automation, information processing, and computation. Our goal is to complement and extend human performance — and advance society as a whole.
Our work
IBM and Université de Sherbrooke announce two quantum research chairs
Q & AAlexandre ChoquetteTeaching AI models to improve themselves
ResearchPeter HessRemembering Bob Dennard, inventor of the chip that changed the world
NewsPeter HessNew smartphone app to navigate blind people to stand in lines with distances
ResearchHironobu Takagi, Chieko Asakawa, Masaki Kuribayashi, and Seita Kayukawa3 minute readSilicon waveguides move us closer to faster computers that use light
ResearchThilo Stöferle- See more of our work on Computer Science
Publications
Stable iterative refinement for solving linear systems with inaccurate computation
- 2026
- J. Comput. Appl. Math.
AUTOCIRCUIT-RL: Reinforcement Learning-Driven LLM for Automated Circuit Topology Generation
- Prashanth Vijayaraghavan
- Luyao Shi
- et al.
- 2025
- ICML 2025
CIRCUITSYNTH-RL: LLM-Based Circuit Topology Synthesis with RL Refinement
- Prashanth Vijayaraghavan
- Luyao Shi
- et al.
- 2025
- DAC 2025
Enhancing LLMs for HDL Code Optimization using Domain Knowledge Injection
- Che-ming Chang
- Prashanth Vijayaraghavan
- et al.
- 2025
- DAC 2025
VP Lab: a PEFT-Enabled Visual Prompting Laboratory for Semantic Segmentation
- 2025
- CVPR 2025
ASTER: Natural and Multi-language Unit Test Generation with LLMs
- Rangeet Pan
- Myeongsoo Kim
- et al.
- 2025
- ICSE 2025