Notable Greek scientists of modern times include Georgios Papanikolaou (inventor of the Pap test), mathematician Constantin Carathéodory (known for the Carathéodory theorems and Carathéodory conjecture), astronomer E. M. Antoniadi, archaeologists Ioannis Svoronos, Valerios Stais, Spyridon Marinatos, Manolis Andronikos (discovered the tomb of Philip II of Macedon in Vergina), Indologist Dimitrios Galanos, botanist Theodoros G. Orphanides, such as Michael Dertouzos, Nicholas Negroponte, John Argyris, John Iliopoulos (2007 Dirac Prize for his contributions on the physics of the charm quark, a major contribution to the birth of the Standard Model, the modern theory of Elementary Particles), Joseph Sifakis (2007 Turing Award, the "Nobel Prize" of Computer Science), Christos Papadimitriou (2002 Knuth Prize, 2012 Gödel Prize), Mihalis Yannakakis (2005 Knuth Prize) and physicist Dimitri Nanopoulos.