Distinguished Professor Sergei Artemov is a noted specialist in logic in computer science, control theory, epistemology, and game theory. He is credited with solving long-standing problems in logic that have been left open by Goedel and Kolmogorov since the 1930’s. He has pioneered studies in the logic of proofs and justifications that renders a new, evidence-based theory of knowledge and belief. He, along with other researchers, initiated studies of dynamic topological logic which has become an active research area with applications in hybrid control systems. The most recent focus of his interests is epistemic foundations of game theory. Professor Artemov earned his Ph.D. from Moscow University, and has worked in leading research centers around the world, including Cornell University, Stanford University, and the Russian Academy of Sciences, as well as in France, Switzerland, Italy, and the Netherlands. Among his many honors are a President of Russia's Outstanding Scientist award; Spinoza Lecture for the European Association for Logic, Language, and Information; Clifford Lecture; keynote lecture in Vienna City Hall for the Kurt Goedel Society; Distinguished Lecture in Computer Science at the New York Academy of Sciences; and others. He has authored more than 150 papers and book chapters, supervised 22 successful Ph.D. dissertations, and organized a number of international conferences.
Distinguished Professor Robert Haralick earned his Ph.D. from the University of Kansas. Before coming to The Graduate Center, he held the prestigious Boeing Egtvedt Professorship in Electrical Engineering at the University of Washington and was vice president of research at Machine Vision International. A fellow of the Institute for Electrical and Electronic Engineers and the International Association for Pattern Recognition (where he also held the office of president), he has served on the editorial boards of journals such as IEEE Pattern Analysis and Machine Intelligence, Pattern Recognition, Image and Vision Computing, IEEE Expert, and Machine Vision and Applications. Professor Haralick has authored more than 550 books, chapters, journal articles, and conference papers, among them the seminal two-volume Computer and Robot Vision. He has contributed to image texture analysis, facet modeling for image analysis, shape analysis using mathematical orphology, and in general to computer image processing, computer vision, computer document analysis, and artificial intelligence. His most recent work is in high-dimensional space clustering and pattern recognition techniques applied to combinatorial problems in free group theory.
Distinguished Professor Gabor T. Herman is a pioneer in the field of computerized tomography (an important medical diagnostic procedure) and the author of several books and well over one hundred articles including several classic works in their fields. He is recognized internationally for his major contributions to image processing and its medical applications. He was the leader of successful medical image-processing groups at SUNY Buffalo and at the University of Pennsylvania and has garnered multiple millions of dollars in research funding. Professor Herman, who earned his Ph.D. from the University of London, is a highly accomplished scientist of international distinction and has been awarded honorary degrees from the universities of Haifa in Israel, Szeged in Hungary, and Linkoping in Sweden. Prior to coming to The Graduate Center, he was Hewlett Packard Visiting Research Professor at the Mathematical Sciences Research Institute at the University of California-Berkeley.
Photo: Don Pollard
Distinguished Professor Saul Kripke is known as a brilliant logician and one of the most important philosophers of the twentieth century. While a high-school student in Nebraska, he wrote a series of papers that transformed modal logic and remain canonical works in the field. He became a junior fellow at Harvard in his sophomore year and gave lectures to graduate students at the Massachusetts Institute of Technology. During the 1960s, Kripke presented his revolutionary theories of reference in a series of lectures, transcribed and published in 1980 as Naming and Necessity. This work sparked a veritable industry of philosophical commentary and criticism, as did another series of lectures, transcribed and published in 1982 as Wittgenstein on Rules and Private Language. In 2001, he won the Schock Prize in Logic and Philosophy, which is given by the Swedish Academy of Sciences and is the equivalent in its field of a Nobel Prize. He was on the faculty of Rockefeller University, was John Locke Lecturer at Oxford, A. D. White Professor-at-Large at Cornell, and a few years ago retired from Princeton, where he spent much of his career since 1976.
Distinguished Professor Victor Pan, an internationally recognized leader in the field of computer science research, has been appointed to the rank of Distinguished Professor at Lehman College, where he has taught since 1988. The appointment, which becomes effective September 1, 2000, was approved at a meeting on June 26 of The City University of New York Board of Trustees. Dr. Pan becomes the fifth member of the current Lehman faculty to achieve this rank, which is reserved for a very small group of highly influential scholars and artists. Dr. Pan emigrated to the U.S. in the late 1970s from the former Soviet Union. He earned his Ph.D. at Moscow University, where he also began his research, which he then continued in a Research Institute of the Soviet Academy of Science. During that time, he published a number of significant papers and became known informally as "polynomial Pan" for his pioneering work in the area of polynomial computations. Since then, his research has been supported for over 20 years by the National Science Foundation and has resulted in the publication of three books and over 200 research papers in leading computer science and applied mathematics journals, as well as in the refereed proceedings of the most respected and competitive conferences in these fields. He is regularly asked to lecture all over the world - most recently in Italy, Greece, Bulgaria, France, Germany, Canada, China, India, the Czech Republic, and Russia. In his research, Dr. Pan focuses on numerical and algebraic algorithms, which are the backbone of present-day computations in the sciences, engineering and communications. One of his major efforts involves devising effective new computational methods that combine the techniques of faster numerical computations with bounded precision and slower algebraic techniques for error-free symbolic computing. He has been responsible for several major breakthroughs, including new algorithms that greatly shortened the time needed to perform some fundamental computer computations.
Distinguished Professor Rohit Parikh earned his Ph.D. from the Harvard University in 1962. He is CUNY Distinguished Professor affiliated with Department of Computer Science, Brooklyn College and Ph.D. Programs in Computer Science, Philosophy and Mathematics, CUNY Graduate Center. Also visitor at Courant Institute, NYU, 1998-2001. Member of AMS, ACM, ASL, IEEE. Referee for various journals, reviewer for the Math Reviews. His areas of expertise are formal languages, fecursive function theory, proof theory, non-standard analysis, logic of programs, logic of knowledge, philosophy of language, belief revision, social software and game theory. However, the theme which concerns most of the recent papers is Social Software, an analysis of social procedures, from elections to cake cutting, using ideas from computer science, game theory and logic.
Distinguished Professor Theodore Raphan earned his Ph.D. from the City University of New York in 1976. He is CUNY Distinguished Professor affiliated with Department of Computer Science, Brooklyn College and Ph.D. Programs in Computer Science, CUNY Graduate Center since 1994. His areas of expertise are modeling neural mechanisms of spatial orientation and adaptation, modeling mechanisms of locomotion, development of real time systems for computerized neurological assessment and diagnosis, digital signal processing, image Processing: the use of wavelet analysis for texture determination and discrimination, and multimedia systems.