Question: What type of engineer worked with K.F Cheung in establishing the Cheung-Marks theorem?

full_context: Document 1: No-communication theorem: In physics, the no-communication theorem is a no-go theorem from quantum information theory which states that, during measurement of an entangled quantum state, it is not possible for one observer, by making a measurement of a subsystem of the total state, to communicate information to another observer. The theorem is important because, in quantum mechanics, quantum entanglement is an effect by which certain widely separated events can be correlated in ways that suggest the possibility of instantaneous communication. The no-communication theorem gives conditions under which such transfer of information between two observers is impossible. These results can be applied to understand the so-called paradoxes in quantum mechanics, such as the EPR paradox, or violations of local realism obtained in tests of Bell's theorem. In these experiments, the no-communication theorem shows that failure of local realism does not lead to what could be referred to as "spooky communication at a distance" (in analogy with Einstein's labeling of quantum entanglement as "spooky action at a distance").
Document 2: Doob–Dynkin lemma: In probability theory, the Doob–Dynkin lemma, named after Joseph L. Doob and Eugene Dynkin, characterizes the situation when one random variable is a function of another by the inclusion of the formula_1-algebras generated by the random variables. The usual statement of the lemma is formulated in terms of one random variable being measurable with respect to the formula_1-algebra generated by the other.
Document 3: Quantum no-deleting theorem: In physics, the no-deleting theorem of quantum information theory is a no-go theorem which states that, in general, given two copies of some arbitrary quantum state, it is impossible to delete one of the copies. It is a time-reversed dual to the no-cloning theorem, which states that arbitrary states cannot be copied. This theorem seems remarkable, because, in many senses, quantum states are fragile; the theorem asserts that, in a particular case, they are also robust. Physicist Arun K. Pati along with Samuel L. Braunstein proved this theorem.
Document 4: Robert J. Marks II: Robert Jackson Marks II is a polymath electrical engineer. His contributions include the Zhao-Atlas-Marks (ZAM) time-frequency distribution in the field of signal processing, the Cheung–Marks theorem in Shannon sampling theory and the Papoulis-Marks-Cheung (PMC) approach in multidimensional sampling. He was instrumental in the defining of the field of computational intelligence and co-edited the first book using "computational intelligence" in the title. A Christian and an old earth creationist, he is a subject of the 2008 pro-intelligent design motion picture, .
Document 5: Risch algorithm: In symbolic computation (or computer algebra), at the intersection of mathematics and computer science, the Risch algorithm is an algorithm for indefinite integration. It is used in some computer algebra systems to find antiderivatives. It is named after the American mathematician Robert Henry Risch, a specialist in computer algebra who developed it in 1968.
Document 6: Mark Rober: Mark Rober (born 11 March 1980) is an American engineer, inventor and YouTube personality. He is best known for his YouTube videos on popular science, do-it-yourself gadgets and creative ideas. His most popular invention is Digital Dudz, a range of Halloween costumes that integrate mobile apps with clothing. As an engineer, Rober spent seven years working on the Curiosity rover at NASA's Jet Propulsion Laboratory.
Document 7: Bir Bhanu: Bir Bhanu is the Marlan and Rosemary Bourns Endowed Presidential Chair in Engineering, the Distinguished Professor of Electrical and Computer Engineering, and Cooperative Professor of Computer Science and Engineering, Mechanical Engineering and Bioengineering, at the Marlan and Rosemary Bourns College of Engineering at the University of California, Riverside. He is the Founding Director of the Center for Research in Intelligent Systems (CRIS) and the Visualization and Intelligent Systems Laboratory (VISLab) at the University of California, Riverside, since 1998 and 1991, respectively. He was the Interim Chair of the Department of Bioengineering at UC Riverside from July 2014 to June 2016. Additionally, he has been the Director of the NSF Integrative Graduate Education, Research and Training (IGERT) program in Video Bioinformatics at UC Riverside. He was the first Founding Faculty of the Marlan and Rosemary Bourns College of Engineering at the University of California, Riverside and served as the Founding Chair of Electrical Engineering from 1991 to 1994. Dr. Bhanu has been the principal investigator of various programs for NSF, DARPA, NASA, AFOSR, ONR, ARO and other agencies and industries in the areas of object/target recognition, learning and vision, imagine/video understanding, image/video databases with applications in security, defense, intelligence, biological and medical imagining, biometrics, autonomous navigation and industrial machine vision.
Document 8: Markov–Krein theorem: In probability theory, the Markov–Krein theorem gives the best upper and lower bounds on the expected values of certain functions of a random variable where only the first moments of the random variable are known. The result is named after Andrey Markov and Mark Krein.
Document 9: Caristi fixed-point theorem: In mathematics, the Caristi fixed-point theorem (also known as the Caristi–Kirk fixed-point theorem) generalizes the Banach fixed point theorem for maps of a complete metric space into itself. Caristi's fixed-point theorem is a variation of the "ε"-variational principle of Ekeland (1974, 1979). Moreover, the conclusion of Caristi's theorem is equivalent to metric completeness, as proved by Weston (1977). The original result is due to the mathematicians James Caristi and William Arthur Kirk.
Document 10: Nielsen–Ninomiya theorem: The Nielsen–Ninomiya theorem is a no-go theorem in physics, in particular in lattice gauge theory, concerning the possibility of defining a theory of chiral fermions on a lattice in even dimensions. The theorem can be stated as follows: let formula_1 be the (Euclidean) action describing fermions formula_2 on a regular lattice of even dimensions with periodic boundary conditions, and suppose that "S" is local, hermitian and translation invariant; then the theory describes as many left-handed as right-handed states. Equivalently, the theorem implies that there are as many states of chirality +1 as of chirality -1. The proof of the theorem relies on the Poincaré-Hopf theorem or on similar results in algebraic topology.
Document 11: Robert W. Newcomb: Robert W. Newcomb is a professor of electrical engineering at the University of Maryland, College Park. He obtained a BSEE degree from Purdue University in 1955, an MS from Stanford University in 1957, and his Ph.D. in Electrical Engineering from the University of California at Berkeley in 1960. He was a professor in the electrical engineering department at Stanford University through 1968, and from 1969 onward has been a professor in the electrical engineering department at the University of Maryland at College Park. He has graduated over 70 Ph.D. students from both Stanford and the University of Maryland.
Document 12: Robert T. Pennock: Robert T. Pennock is a philosopher working on the Avida digital organism project at Michigan State University where he has been full professor since 2000. Pennock was a witness in the Kitzmiller v. Dover Area School District trial, testifying on behalf of the plaintiffs, and described how intelligent design is an updated form of creationism and not science, pointing out that the arguments were essentially the same as traditional creationist arguments with adjustments to the message to eliminate explicit mention of God and the Bible as well as adopting a postmodern deconstructionist language. Pennock also laid out the philosophical history of methodological and philosophical naturalism as they underpin to science, and explained that if intelligent design were truly embraced it would return Western civilization to a pre-Enlightenment state.
Document 13: Cheung–Marks theorem: In information theory, the Cheung–Marks theorem, named after K. F. Cheung and Robert J. Marks II, specifies conditions where restoration of a signal by the sampling theorem can become ill-posed. It offers conditions whereby "reconstruction error with unbounded variance [results] when a bounded variance noise is added to the samples."
Document 14: Topkis's theorem: In mathematical economics, Topkis's theorem is a result that is useful for establishing comparative statics. The theorem allows researchers to understand how the optimal value for a choice variable changes when a feature of the environment changes. The result states that if "f" is supermodular in ("x","θ"), and "D" is a lattice, then formula_1 is nondecreasing in "θ". The result is especially helpful for establishing comparative static results when the objective function is not differentiable.
Document 15: Robert Calderbank: Robert Calderbank (born 1954) is a professor of Computer Science, Electrical Engineering, and Mathematics and director of the Information Initiative at Duke. He received a BSc from Warwick University in 1975, an MSc from Oxford in 1976, and a PhD from Caltech, all in mathematics. He joined Bell Labs in 1980, and retired from AT&T Labs in 2003 as Vice President for Research and Internet and network systems. He then went to Princeton as a professor of Electrical Engineering, Mathematics and Applied and Computational Mathematics, before moving to Duke in 2010 to become Dean of Natural Sciences.
ground_truth: polymath electrical engineer