Rigorous approaches based on formal methods have the potential to fundamentally improve many aspects of deep learning. This article discusses the challenges and future directions of formal methods enhanced deep learning for smart cities.
By Meiyi Ma, April 2022
There are unique challenges posed by cryptography research. This interview examines potential threats to modern security techniques and how to overcome them.
By Shashank Agrawal, Billy Rathje, March 2015
University of Chicago's Robert Soare, the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, offers his reflections on Alan Turing.
By Arefin Huq, March 2012
Complexity theory provides new viewpoints on various phenomena that were considered by past thinkers.
By Oded Goldreich, March 2012
How the search for the limits of computing led to the discovery of the unexpected power of proofs.
By Dana Moshkovitz, March 2012
Using neuroimaging, researchers are succesfully mapping neural connectivity and in the process creating vivid "brainbows."
By Amelio Vázquez-Reina, Won-Ki Jeong, Jeff Lichtman, Hanspeter Pfister, September 2011
