With Barbara Liskov, one of the first female doctorates in Computer Science from MIT and winner of the Turing award in 2008 (one of the three women to have won the award).
Winner of the Fields Medal in Mathematics in 2002, the mathematical genius sadly passed away in September 2017.
At the venue, Heidelberg, Germany!
The father of Latex and inventor of the Lamport clock, Leslie Lamport is one of the most inspiring persons I ever met.
The man, who proved the existence of NP-complete problems, Stephen Cook won the Turing award back in 1982.
With Sir Tony Hoare, widely known as the inventor of quick sort and Hoare logic, who won the Turing award in 1980.
Winner of the 1986 Turing award, John Hopcroft is popularly known for his contributions in automata theory and algorithm design.
One of the 200 young researchers selected across the world.
Known as the co-inventor of the TCP/IP protocol, Vint Cerf won the Turing award in 2004.
With the man, who established the foundations for the field of computational complexity theory and won the Turing award in 1993.
Posing with Karen. :)
Brian Schmidt, winner of the Nobel prize in Physics in 2011.
Leslie Lamport explaining why he thinks the Mathematics is the foundation of Computer Science.
The best time to discuss some Science.
A great view of the sunset from atop the Heidelberg castle.
With fellow participants.