What's up in
Daniel Spielman solves important problems by thinking hard — about other questions.
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.
Algorithms that use the brain’s communication signal can now work on analog neuromorphic chips, which closely mimic our energy-efficient brains.
Vinton Cerf helped create the internet 40 years ago, and he’s still working to connect people around the world — and off it.
Researchers are one step closer to injecting probability into deterministic machines.
For pioneering computer scientist Donald Knuth, good coding is synonymous with beautiful expression.
New technologies have launched the life sciences into the age of big data. Biologists must now make sense of their windfall.
How do you know if a quantum computer is doing what it claims? A new protocol offers a possible solution and a boost to quantum cryptography.
As the role of computers in pure mathematics grows, researchers debate their reliability.