Question: Who first proposed the physics theory, known to have been later independently proposed in a more complete paper by the current tenured professor at the University of Amsterdam, and director and Leon Levy professor at the Institute for Advanced Study in Princeton?

full_context: Document 1: Topological string theory: In theoretical physics, topological string theory is a version of string theory. Topological string theory was established and is studied by physicists such as Edward Witten and Cumrun Vafa.
Document 2: Ashoke Sen: Ashoke Sen, FRS ( ; Bengali: অশোক সেন ; born 1956) is an Indian theoretical physicist and distinguished professor at the Harish-Chandra Research Institute, Allahabad. He also is the Morningstar Visiting professor at MIT and a distinguished professor at the Korea Institute for Advanced Study. His main area of work is String Theory. He was among the first recipients of the Fundamental Physics Prize “for opening the path to the realisation that all string theories are different limits of the same underlying theory”. Of the prizes for theoretical physics, the Fundamental Physics Prize is the one which pays the most prize money.
Document 3: Robbert Dijkgraaf: Robertus Henricus "Robbert" Dijkgraaf ( [        ]; born 24 January 1960) is a Dutch mathematical physicist and string theorist. He is tenured professor at the University of Amsterdam, and director and Leon Levy professor at the Institute for Advanced Study in Princeton.
Document 4: Matthew Kleban: Matthew Benjamin Kleban is an American theoretical physicist who works on string theory and theoretical cosmology. He is an associate professor at New York University, a member of the Center for Cosmology and Particle Physics, and a former member at the Institute for Advanced Study. His contributions to physics include:
Document 5: F-theory: F-theory is a branch of string theory developed by Cumrun Vafa. The new vacua described by F-theory were discovered by Vafa and allowed string theorists to construct new realistic vacua — in the form of F-theory compactified on elliptically fibered Calabi–Yau four-folds. The letter "F" supposedly stands for "Father".
Document 6: Type 0 string theory: The Type 0 string theory is a less well-known model of string theory. It is a superstring theory in the sense that the worldsheet theory is supersymmetric. However, the spacetime spectrum is not supersymmetric and, in fact, does not contain any fermions at all. In dimensions greater than two, the ground state is a tachyon so the theory is unstable. These properties make it similar to the bosonic string and an unsuitable proposal for describing the world as we observe it, although a GSO projection does get rid of the tachyon and the even G-parity sector of the theory defines a stable string theory. The theory is used sometimes as a toy model for exploring concepts in string theory, notably closed string tachyon condensation. Some other recent interest has involved the two-dimensional Type 0 string which has a non-perturbatively stable matrix model description.
Document 7: Steven Gubser: Steven Scott Gubser (born 4 May 1972) is a professor of physics at Princeton University. His research focuses on theoretical particle physics, especially string theory, and the AdS/CFT correspondence. He is a widely cited scholar in these and other related areas.
Document 8: Matrix string theory: In physics, matrix string theory is a set of equations that describe superstring theory in a non-perturbative framework. Type IIA string theory can be shown to be equivalent to a maximally supersymmetric two-dimensional gauge theory, the gauge group of which is U("N") for a large value of "N". This matrix string theory was first proposed by Luboš Motl in 1997 and later independently in a more complete paper by Robbert Dijkgraaf, Erik Verlinde, and Herman Verlinde. Another matrix string theory equivalent to Type IIB string theory was constructed in 1996 by Ishibashi, Kawai, Kitazawa and Tsuchiya. This version is known as the IKKT matrix model.
Document 9: S-brane: In string theory, an S-brane is a hypothetical and controversial counterpart of a D-brane, which, unlike a D-brane, is localized in time. Depending on the context the "S" stands for "Strominger", "Sen", or "Space-like". The S-brane was originally proposed by Andrew Strominger in his speculative paper with Michael Gutperle, and another version of S-branes was studied by Ashoke Sen. They are thought to be extended in the space-like/temporal directions only, so that they exist at only one point in time, but are otherwise analogous to p-branes.
Document 10: Dirk Bouwmeester: Dirk (Dik) Bouwmeester (born 1967) is a Dutch experimental physicist specializing in quantum optics and quantum information. He currently holds faculty positions at the University of California at Santa Barbara and at Leiden University in the Netherlands.
Document 11: Edsger W. Dijkstra: Edsger Wybe Dijkstra (] ; 11 May 1930 – 6 August 2002) was a Dutch computer scientist and an early pioneer in many research areas of computing science who held the Schlumberger Centennial Chair in Computer Sciences at the University of Texas at Austin from 1984 until his retirement in 1999. A theoretical physicist by training, he worked as a programmer at the Mathematisch Centrum (Amsterdam) from 1952 to 1962. He was a professor of mathematics at the Eindhoven University of Technology (1962–1984) and a research fellow at the Burroughs Corporation (1973–1984).
Document 12: Nicolai Reshetikhin: Nicolai Yuryevich Reshetikhin (Russian: Николай Юрьевич Решетихин , born October 10, 1958 in Leningrad, Soviet Union) is a mathematical physicist, currently a professor of mathematics at the University of California, Berkeley and a professor of mathematical physics at the University of Amsterdam. His research is in the fields of low-dimensional topology, representation theory, and quantum groups. His major contributions are in the theory of quantum integrable systems, in representation theory of quantum groups
Document 13: Peter van Nieuwenhuizen: Peter van Nieuwenhuizen (] ; born October 26, 1938) is a Dutch physicist. He is now a distinguished Professor at Stony Brook University in the United States. Van Nieuwenhuizen is best known for his discovery of supergravity with Sergio Ferrara and Daniel Z. Freedman.
Document 14: DS/CFT correspondence: In string theory, the dS/CFT correspondence is a de Sitter space analogue of the AdS/CFT correspondence, proposed originally by Andrew Strominger. In this correspondence, the conjectured CFT boundary is in the future, and time is the emergent dimension.
Document 15: Manin matrix: In mathematics, Manin matrices, named after Yuri Manin who introduced them around 1987–88, are a class of matrices with elements in a not-necessarily commutative ring, which in a certain sense behave like matrices whose elements commute. In particular there is natural definition of the determinant for them and most linear algebra theorems like Cramer's rule, Cayley–Hamilton theorem, etc. hold true for them. Any matrix with commuting elements is a Manin matrix. These matrices have applications in representation theory in particular to Capelli's identity, Yangian and quantum integrable systems.
ground_truth: Luboš Motl