WikiVisually
The entire wiki reimagined as a visual magazine with video discovery · Watch your interests come alive
WikiVisually
The entire wiki reimagined as a visual magazine with video discovery · Watch your interests come alive
Nature
The World
Movies
USA
Top
Art
Fine & Rare
History
Ivy & Inquiry
Joseph Sifakis
Videos
Joseph Sifakis is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
Amir
Pnueli
Videos
Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient.