The Association for Computing Machinery (ACM) has announced Edmund M. Clarke, E. Allen Emerson and Joseph Sifakis as the recipients of the 2007 Turing Award. The award, named after the British mathematician Alan M. Turing, is considered to be the ...
2007 In Science, Medicine and Space
12 months have gone by, and TFOT continues the tradition of presenting its readers with a summary of the passing year’s most remarkable discoveries, innovations, research, and applications in science, medicine, and space exploration. The Mini-Mag Orion interstellar concept (Credit: ...
2007 In Technology
2007 is approaching its finish line, bringing us one step closer to the future. This was a year packed with new technologies, new applications, important (and not-so-important, but certainly nonetheless interesting) discoveries and inventions. Here we present some of the ...