ARO-MURI General Information: Professors

Professors associated
with MURI


[Home|General Information|Research|Publications]
[Graduates and Postdocs|Other Researchers]

If you are a newly-joined professor and would like to add your name and homepage to this list, please mail: mayi@robotics.eecs.berkeley.edu

Project Managers:

Shankar Sastry , University of California at Berkeley
Anil Nerode , Cornell University
Zohar Manna , Stanford University

Berkeley:

Shankar Sastry
Leon O. Chua
Walter Jackson Freeman III
Thomas A. Henzinger
Jitendra Malik
Stuart Russell
Pravin Varaiya
Lotfi A. Zadeh

Cornell:

Anil Nerode
Claire Cardie
David F. Delchamps
Richard Shore

Stanford:

Zohar Manna
Daphne Koller

Berkeley Investigators Curriculum Vitae:
Shankar Sastry
 http://robotics.eecs.berkeley.edu/~sastry

Professor of Electrical Engineering and Computer Sciences
University of California, Berkeley CA 94720

1. Field of Specialization
Robotics, Nonlinear, Adaptive and Intelligent Control.

2. Education
Ph.D. EECS (1981), University of California, Berkeley.

3. Experience
Gordon McKay Professor of Electrical Engineering and Computer Sciences, Harvard University, 1994. Professore A Contratto, Universita di Roma. Summer 1990, 1991, Scuola Normale di Pisa, 1992, Univ. di Pisa, 1994, Directeur Recherche, Center Nationale Recherche Scientifique (CNRS), Toulouse, France, Summer 1991, Visiting Fellow, Australian National University, Canberra, Summer 1985. Professor, University of California, Berkeley, 1988 - present, Assistant Professor, MIT, Cambridge, 1980 - 1982.

4. Awards
President of India Medal, 1977, IBM Faculty Development Grant, 1983, NSF Presidential Young Investigator Award, 1985, IEEE Student Best Paper Award, 1977, Eckmann Award of the American Control Council, 1990, M. A. (honoris causa, Harvard University, Cambridge, 1994, Fellow, IEEE, 1995.

5. Books Published

6. Few Recent Publications

Leon O. Chua
http://trixie.eecs.berkeley.edu/cv-chua.html

Leon Chua is presently a professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research interests are in the areas of general nonlinear network and system theory. He has been a consultant to various electronic industries in the areas of nonlinear network analysis, modeling, and computer-aided design. He is the author of Introduction to Nonlinear Network Theory (New York: McGraw-Hill, 1969), and a coauthor of the books Computer-Aided Analysis of Electronic Circuits: Algorithms and Computational Techniques (Englewood Cliffs, NJ: Prentice-Hall, 1975), Linear and Nonlinear Circuits(New York: McGraw-Hill, 1987), and Practical Numerical Algorithms for Chaotic Systems (New York: Springer-Verlag, 1989). He has published many research papers in the area of nonlinear networks and systems.

1. Education
Ph.D., University of Illinois, Urbana, 1964.

2. Principal Honors
Fellow, IEEE, 1974, Doctor Honoris Causa, Ecole Polytechnique Federale-Lausanne, Switzerland, 1983, Honorary Doctorate, University of Tokushima, Japan, 1984, Honorary Doctor, Technical University of Dresden, Germany, 1992, Doctor Honoris Causa, Technical University of Budapest, Hungary, 1994, Doctor Honoris Causa, University of Santiago de Compostela, Spain, 1995, Doctor Honoris Causa, University of Frankfurt, Germany, 1996

3. Principal Awards
1967 IEEE Browder J. Thompson Memorial Prize Award, 1973 IEEE W.R.G. Baker Prize Award, 1974 Frederick Emmons Terman Award, 1976 Miller Research Professorship from the Miller Institute, 1982 Senior Visiting Fellowship at Cambridge University, England, 1982/1983 Alexander von Humboldt Senior U.S. Scientist Award at the Technical University of Munich, W. Germany, 1983/1984 Visiting U.S. Scientist Award at Waseda University, Tokyo, from the Japan Society for Promotion of Science, 1985 IEEE Centennial Medal, 1985 Myril B. Reed Best Paper Prize, 1985 and 1989 IEEE Guillemin-Cauer Prizes, 1986 Professor Invite International Award at the University of Paris-Sud from the French Ministry of Education, 1993 Technical Achievement Award by the IEEE Circuits and Systems Society, 1995 M. E. Van Valkenburg Prize from the IEEE Circuits and Systems Society.

4. Professional activities
Editor, IEEE Transactions on Circuits and Systems, 1973-1975, President, IEEE Society on Circuits and Systems, 1976, Editor, International Journal of Bifurcation and Chaos, Deputy editor, International Journal of Circuit Theory and Applications

5. Selected recent publications

Walter Jackson Freeman III
 http://mendel.berkeley.edu/Bulletin/faculty/NEU/FreemanW.html

Professor of Integrative Biology
University of California, Berkeley
Tel: (510) 642-4220; FAX 643-6791; e-mail: wfreeman@garnet.berkeley.edu

1. Education
Massachusetts Institute of Technology 1944-45; 1946-47.
Yale University School of Medicine, 1950-54. M.D. 1954.

2. Positions
Intern, Pathology, New Haven Hospital, Yale School of Medicine, 1954-55, Intern, Osler Medical Service, Johns Hopkins Hospital, Baltimore, 1955-56, fellow, Foundations' Fund for Research in Psychiatry, UCLA, 1956-59, Professor of Physiology, University of California, Berkeley, 1959- 89, Chair, Department of Physiology-Anatomy, U.C. Berkeley, 1967-72, Professor of Neurobiology, U.C. Berkeley, 1989-present.

3. Honors
M.D. cum laude, Yale University, 1954, John Simon Guggenheim Fellowship Award, 1965, Titulaire de la Claire Solvay, Universite Libre de Bruxelles, 1974, Miller Research Professor, 1978-79, MERIT Award, National Institute of Mental Health, 1991, Pioneer Award, Neural Networks Council, IEEE, 1992 President, International Neural Network Society, 1994, Spinoza Lecturer, University of Amsterdam, 1995

4. Recent Publications

Thomas A.Henzinger
http://www-cad.eecs.berkeley.edu/~tah

Assistant Professor of Electrical Engineering and Computer Sciences,
University of California at Berkeley,
Email: tah@eecs.berkeley.edu.

1. Research
Logic, semantics, automata theory, and verification; in particular, formal support for the development and analysis of concurrent, real-time, and embedded systems.

2. Experience
Assistant Professor of Electrical Engineering and Computer Sciences, University of California at Berkeley, since January 1996. Assistant Professor of Computer Science, Cornell University, since January 1992 (on leave). Postdoctoral Scientist in Computer Science, Fourier University (Grenoble, France), 1991.
AT\&T Bell Laboratories, Murray Hill, New Jersey, since 1991. Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, 1989, 1990.

3. Education
Ph.D.\ in Computer Science, Stanford University, September 1991.

4. Honors
ONR Young Investigator Award, 1995. NSF Career Development Award, 1994. Graduation with distinction in teaching, Stanford University, 1991. George E. Forsythe Memorial Award for Excellence in Student Teaching, Stanford University, 1989. IBM Graduate Fellow, 1988--1991. Graduation with distinction, Kepler University, 1987. Fulbright Fellow, 1985--1986.

5. Program chair and organizer
Eighth International Conference on Computer-aided Verification (CAV~1996).DIMACS Workshop on Verification and Control of Hybrid Systems, October 1995.

6. Books
Editor, Hybrid Systems III: Verification and Control, Springer-Verlag Lecture Notes in Computer Science, 1996. 7. Software
HyTech,a symbolic model checker for the analysis of hybrid systems,since 1994.

8. Some Recent Publications

Jitendra Malik
http://http.cs.berkeley.edu/~malik

Associate Professor of Computer Science
Vice Chair, Department of EECS (Graduate Matters)
University of California, Berkeley, CA 94720.

1. Field of Specialization
Computer Vision, Computational Modeling of Human Vision

2. Education
Ph.D. in Computer Science, Stanford University, December 1985.

3. Experience
Vice-Chair for Graduate Matters, EECS, UC Berkeley, 1995-continuing.
Assistant Professor or Associate Professor, EECS, UC Berkeley, Jan 1986-continuing.
Member, Groups on Cognitive science and Vision Science, UC Berkeley.

4. Selected Honors and Awards
Rosenbaum Fellow, Isaac Newton Institute, University of Cambridge, 1993, Presidential Young Investigator Award 1989, IBM Faculty Development Award, 1986, Keynote or invited speaker at various meetings including NAS/NRC workshop (Irvine, 1990), ESPRIT Insight (Nice, France,1991), NATO workshop (York, Canada, 1992), CIBA foundation (London, 1993), British Machine Vision Conf (1995).

5. Five Selected publications (from more than 60)

Stuart Russell
http://http.cs.berkeley.edu/~russell

Stuart Russell is an Associate Professor of Computer Science at UC Berkeley. He is a leading researcher in the field of Artificial Intelligence, winner of the principal AI research award (Computers and Thought), and author of the leading AI textbook. His research interests include machine learning, agent architectures, real-time decision making, reasoning and planning under uncertainty, autonomous vehicles, search, game playing, and theoretical foundations of intelligent systems.

1. Education
PhD, Computer Science, Stanford University, 1986.

2. Principal Honours and Awards
Distinction, British Mathematical Olympiad, 1977, Major Scholar, Wadham College, Oxford University, 1979-82, NATO Scholar, 1982-85, NSF Presidential Young Investigator, 1990-95, IJCAI Computers and Thought Award, 1995, Miller Professorship, UC Berkeley, 1996.

Invited/Keynote Speaker at European Conference on Machine Learning, Prague, 1997; Reconnaissance des Formes et Intelligence Artificielle, Rennes, 1996; Int'l Joint Conf. on Artificial Intelligence, Montreal, 1995; Euro. Conf. Economics and Game Theory, Marseille, 1994; American Philosophical Association, Chicago, 1992.

3. Selected Recent Publications

4. Principal professional activities
Editor, Prentice Hall Series in Artificial Intelligence, Editorial Board, Journal of Artificial Intelligence Research, Machine Learning Journal, Chair, AAAI Symposium on Learning Complex Behaviors in Adaptive Intelligent Systems, 1996, Program Chair, International Conference on Machine Learning, 1995, Program Area Chair (Machine Learning, Search, Decision Theory) AAAI 94, Program Area Chair (Machine Learning), AAAI 90, Chair, AAAI Symposium on AI and Limited Rationality, 1989, Chairman, British Scientists Abroad.

Pravin Varaiya
http://www.path.berkeley.edu/~varaiya

James Fife Professor of Engineering
University of California, Berkeley, CA 94720
Tel: (510) 642-5270. Fax: (510) 642-6330. E-mail: varaiya@eecs.berkeley.edu

1. Field of Specialization
Hybrid systems, Communication networks, Transportation systems.

2. Education
Ph. D. in Electrical Engineering, University of California, Berkeley, 1966

3. Experience
Professor of Electrical Engineering & Computer Sciences, July 1971-present, Professor of Economics, July 1975-June 1992, Miller Research Professor, July 1978-June 1979, Visiting Professor, MIT, January 1974-January 1975, Guggenheim Fellow, 1972

4. Societies
Fellow of IEEE. Associate Editor: Transportation Research Part C; Discrete Event Dynamical Systems; Journal of Economic Dynamics & Control; Regional Science & Urban Economics; North-Holland Systems and Control series; Birkhauser series on Progress in Systems and Control Theory.

5. Selected Publications

Lotfi A. Zadeh
http://http.cs.berkeley.edu/People/Faculty/Homepage/zadeh.html

Lotfi A. Zadeh joined the Department of Electrical Engineering at the University of California, Berkeley, in 1959, and served as its chairman from 1963 to 1968. Earlier, he was a member of the electrical engineering faculty at Columbia University. In 1956, he was a visiting member of the Institute for Advanced Study in Princeton, New Jersey. In addition, he held a number of other visiting appointments, among them a visiting professorship in Electrical Engineering at MIT in 1962 and 1968; a visiting scientist appointment at IBM Research Laboratory, San Jose, CA, in 1968, 1973, and 1977; and visiting scholar appointments at the AI Center, SRI International, in 1981, and at the Center for the Study of Language and Information, Stanford University, in 1987-1988. Currently he is Professor Emeritus of Electrical Engineering and Computer Sciences and is serving as the Director of BISC (Berkeley Initiative in Soft Computing).

Until 1965, Dr. Zadeh's work had been centered on system theory and decision analysis. Since then, his research interests have shifted to the theory of fuzzy sets and its applications to artificial intelligence, linguistics, logic, decision analysis, expert systems and neural networks. Currently, his research is focused on fuzzy logic and soft computing.

An alumnus of the University of Teheran, MIT, and Columbia University, Dr. Zadeh is a fellow of the IEEE, AAAS, ACM and AAAI, and a member of the National Academy of Engineering. He was the recipient of the IEEE Education Medal in 1973 and a recipient of the IEEE Centennial Medal in 1984. In 1989, Dr. Zadeh was awarded the Honda Prize by the Honda Foundation, and in 1991 received the Berkeley Citation, University of California. In 1992, Dr. Zadeh was awarded the IEEE Richard W. Hamming Medal "For seminal contributions to information science an systems, including the conceptualization of fuzzy sets." He became a Foreign Member of the Russian Academy of Natural Sciences (Computer Sciences and Cybernetics Section) in 1992 and received the Certificate of Commendation for AI Special Contributions Award from the International Foundation for Artificial Intelligence. Also in 1992, he was awarded the Kampe de Feriet Medal and became an Honorary Member of the Austrian Society of Cybernetic Studies.

In 1993, Dr. Zadeh received the Rufus Oldenburger Medal from the American Society of Mechanical Engineers "For seminal contributions in system theory, decision analysis, and theory of fuzzy sets and its applications to AI, linguistics, logic, expert systems and neural networks." He was also awarded the Grigore Moisil Prize for Fundamental Researches, and the Premier Best Paper Award by the Second International Conference on Fuzzy Theory and Technology. In 1995, Dr. Zadeh was awarded the IEEE Medal of Honor "For pioneering development of fuzzy logic and its many diverse applications." Dr. Zadeh holds honorary doctorates from Paul-Sabatier University, Toulouse, France; State University of New York, Binghamton, NY; University of Dortmund, Dortmund, Germany; and University of Granada, Granada, Spain.

Dr. Zadeh has authored close to two hundred papers and serves on the editorial boards of over forty journals. He is a member of the Technology Advisory Board, U.S. Postal Service; Advisory Committee, Department of Electrical and Computer Engineering, UC Santa Barbara; Advisory Board, Fuzzy Initiative, North Rhine-Westfalia, Germany; Fuzzy Logic Research Center, Texas A & M University, College Station, Texas; Board of Trustees, International Association of Knowledge Engineers, Washington, DC; Advisory Committee, and several other bodies.

Cornell Investigators Curriculum Vitae
Anil Nerode
http://www.engr.cornell.edu/other/Nerode.html > http://www.research.cornell.edu/VPR/CenterDir/MSI.html

He is Goldwin Smith Professor of Mathematics and Computer Science and Director of the Mathematical Sciences Institute of Cornell University (an Army Research Office Center of Excellence). His major contributions are a 160 papers and books in mathematical logic, finite automata, recursive function theory, recursive algebra and analysis, complexity-theoretic algebra, concurrency, non-classical logics of AI including non-monotonic and intuitionistic, hybrid systems, and the control engineering of distributed autonomous systems, in which subjects he has produced 36 Ph.D.'s. Professor Nerode has been a principal speaker, and also organizer, of many national and international conferences in these fields. He has directed National Science Foundation grants continuously for thirty four years, was Chair in Mathematics at Cornell for five years, and has been Director of the Mathematical Sciences Institute of Cornell University 1987. He has made many contributions to planning, research, and development of large scale systems over forty years for the Army, Navy, Air Force, DOD, the Institute for Defense Analysis, the Advanced Research Projects Agency, the US Environmental Protection Agency (EPA), and numerous other industrial and non-profit research organizations. He has collaborated with technical experts in many scientific and engineering fields. He is currently an advisor to the Governor of Puerto Rico for science and technology development. He is consultant to the American Board of Family Practice for medical informatics. He just finished a term as Vice President of the American Mathematical Society.

He is currently CEO of Sagent Corporation, located in Bellevue, Washington which specializes in autonomous distributed agent software. He received his PhD at the University of Chicago in 1956 and did postdoctoral study with Kurt Godel at the Institute for Advanced Study, Princeton, and Alfred Tarski, Berkeley before joining Barkley Rosser at Cornell in 1959.

He is editor of numerous journals in mathematical logic, AI, logic and computer science, simulation and modeling, constraints, and is in process of forming a Hybrid Systems Journal.

Claire Cardie
http://www.cs.cornell.edu/Info/Department/Annual94/Faculty/Cardie.html

Assistant Professor of Computer Science
Cornell University, Ithaca NY 14850.

1. Research Interests
Natural language processing, machine learning, case-based reasoning, text summarization, machine learning from text, automated knowledge acquisition, corpus-based language analysis, cognitive modeling.

2. Education
Ph. D. U Mass, Amherst, 1994.

3. Recent Publications

David F. Delchamps
http://www.engr.cornell.edu/ee/Delchamps.html

Associate Professor of Electrical Engineering,
Cornell University, Ithaca, NY.

1. Education
BSEE Princeton, 1976; Ph.D. Harvard, 1982.

2. Experience
Assistant Prof. EE Cornell, 1982-90, Associate Prof. EE Cornell 1990-

3. Awards
NSF PYI 1984

4. Recent Publications

Richard Shore
E-mail:shore@math.cornell.edu

Professor of Mathematics, Cornell University

1. Education
Ph.D. in Mathematics, M.I.T., 1972.

2. Experience
The University of Chicago, Instructor, 10/72-9/74, Cornell University, Assistant Prof., 7/74-6/78; Associate Prof., 7/78-3/83; Prof., 4/83-.
Visiting Professor: M.I.T. 80, Hebrew University of Jerusalem 82-83, University of Chicago, 87, University of Sienna 87, MSRI, Berkeley (Member) 89-90.

3. Editor
Journal of Symbolic Logic 1984-93; Coordinator of Editorial Board Journal of Symbolic Logic, 1989-91; Managing Editor, Bulletin of Symbolic Logic 1993- .

Shore is the author of about 90 papers and books in mathematical logic. He has recently aben interested in applied logic, sponsored substantial seminars in non-monotonic logics, and is co-author with Nerode of a graduate applied logic text.

4. Book
Logic for Applications, Texts and Monographs in Computer Science, Springer-Verlag, New York, 1993 (with A. Nerode).

5. Selected Papers

Stanford Investigators Curriculum Vitae
Zohar Manna
http://theory.stanford.edu/people/zm/home.html

Computer Science Department
Gates Bldg., Stanford University
Stanford, CA 94305
Tel: (415) 723-4364 Fax: (415) 725-4671
e-mail: manna@cs.stanford.edu

1976--1995: Professor, Applied Mathematics Dept., Weizmann Institute, Israel.
1978--present: Professor, Computer Science Dept., Stanford University.

1. Associate Editors
Journal of Symbolic Computation,
Acta Informatica,
Theoretical Computer Science Journal

2. Research Interests
Mathematical Theory of Computation, Logic of Programs, Automated Deduction, Concurrent and Reactive Systems, Real-Time and Hybrid Systems, Program Verification and Synthesis

3. Recent Awards
ACM Fellow (1st group), 1993; F.L. Bauer Prize (Technical University Munich), 1992.

4. Selected Publications (5 out of 119)

5. Selected Books (3 out of 7)

6. Software
N. Bjorner, A. Browne, E. Chang, M. Colon, A. Kapur, Z. Manna, H. Sipma, and T. Uribe, STeP: The Stanford Temporal Prover (Educational Release) User's Manual, Computer Science Report, Stanford University, Nov. 1995.

Daphne Koller
http://robotics.stanford.edu/~koller

Daphne Koller is an Assistant Professor of Computer Science at Stanford University. She has a broad range of interests spanning both artificial intelligence and theoretical computer science. The theme underlying most of her work is the idea of using principled techniques from decision theory, game theory, and economics in computer science. Her current projects include: reasoning under uncertainty using logic and probability, learning probabilistic models, rational decision making and planning, and practical algorithms for game-theoretic reasoning.

1. Education
Ph.D. Computer Science, Stanford University, 1993.

2. Principal Honors and Awards
Sloan Foundation Faculty Fellowship, 1996, Arthur L. Samuel Award for best thesis in the Stanford Computer Science Department, 1994, NSF Postdoctoral Associate for Experimental Sciences, U.C. Berkeley, 1994--1995. University of California President's Postdoctoral Fellowship, U.C. Berkeley, 1993--1995.

3. Selected Recent Publications

4. Principal professional activities
Editorial board: Journal of Artificial Intelligence Research (JAIR), Organizing committee: Workshop on Relevance in Reasoning and Representations, 1996; AAAI Fall Symposium on Learning Complex Behaviors in Adaptive Intelligent Systems, 1996, Program committee: AAAI '94, UAI '95, TARK '96, AI & Math. '96, AAAI '96, UAI '96.

[Top|Home]


[MURI Home|Website Managers|September 1996]