Young Researcher Ujwal Gadiraju Wants to Crowd Source Solutions to Big Problems I had the pleasure of meeting Ujwal Gadiraju in Heidelberg last week at this year’s Forum. He warned me he could go on forever about his research, and he wasn’t entirely wrong; the only thing stopping … 13. Oct 2016 | By Gail Carmichael | 0 comments
Who Subsumes the Subsumers? At a conference like the HLF—bringing together researchers from across diverse fields—you’re bound to run into a few turf wars. Mathematician vs. computer scientist. Mathematician vs. physicist. Even—in one delicious exchange on September 20 —mathematician … 10. Oct 2016 | By Ben Orlin | 2 comments
Suzanna Schmeelk on her Android security research (audio) I had the opportunity to sit down with Suzanna Schmeelk to hear about her research concerning Android security. She was good enough to allow me to publish the interview as audio.To learn more about Suzanna’s impressive … 06. Oct 2016 | By Guest blogger | 0 comments
Barbara Liskov: Neuerungen, die jeder immer schon gekannt hat Es gibt den Spruch in verschiedensten Varianten, aber hinaus läuft es immer ungefähr auf das hier: dass Neuerungen immer zwei Phasen habe, eine, in der alle sagen “Das kann doch gar nicht funktionieren!” und die … 03. Oct 2016 | By Markus Pössel | 2 comments
3 Turing Award And 1 Nobel Prize Winners Visiting SAP This post is brought to you courtesy of Thomas Zurek – Thomas is VP for Development of SAP HANA BW. He has 16+ years of experience in analytics and over 20 years with RDBMS. He … 01. Oct 2016 | By Guest blogger | 0 comments
How humanness shapes mathematics: reflections from Sir Andrew Wiles Not long ago, computers started solving mathematical proofs—a fact that surprised Sir Andrew Wiles. But to Wiles, who won the Silver Plaque of the IMU (1998) and the 2016 Abel Prize, the achievements of machines … 27. Sep 2016 | By Daniel Gross | 2 comments
Voevodsky and Proof Assistants Credit: © Heidelberg Laureate Forum Foundation / Flemming – 2016 Vladimir Voevodsky was awarded the Fields Medal in 2002 for his work on motivic cohomology leading to a proof of the Milnor conjecture. He’s here … 26. Sep 2016 | By Peter Woit | 4 comments
Three big ideas to change the world with Raj Reddy On the rare occasion, I have found myself in a conversation with someone who somehow seemed to be from the future. Many of us in the tech business naturally find ourselves occupied with near-term priorities, … 24. Sep 2016 | By Guest blogger | 0 comments
When You Learn a New Language to Read a Single Book In 1984, the legendary Alexander Grothendieck released one of the greatest mathematical texts of the century: “Esquisse d’un Programme.” It became a viral hit. Like an epic novel, it painted a sweeping vision of the … 23. Sep 2016 | By Ben Orlin | 0 comments
Raj Reddy: Aber wo ist die Filterblase? Was die Frage nach den negativen Folgen technischer Neuerungen angeht, hat die deutsche Gesellschaft ja nun den Ruf, eher besonders skeptisch und negativ zu sein. (Siehe aber z.B. auch diesen Beitrag mit einem Technikphilosophen, der … 23. Sep 2016 | By Markus Pössel | 5 comments
