http:^^www.cs.cornell.edu^info^people^gries^vita.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 514 行 · 第 1/2 页
HTML
514 行
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:25:06 GMT
Content-Type: text/html
Content-Length: 26301
Last-Modified: Monday, 09-Sep-96 12:31:13 GMT
<HEAD><TITLE>David Gries Curriculum Vitae</TITLE></HEAD><BODY><P><P><PRE>DAVID GRIES William L. Lewis Professor of Engineering Citizenship: United StatesStephen H. Weiss Presidential Fellow Email: gries@cs.cornell.eduDepartment of Computer Science Telephone: (607) 255-9207Upson Hall Date of Birth: 1939Cornell University Date: January 1996Ithaca, New York 14853, USA </PRE><P> <P><b>EDUCATION</b><BR>1960 Queens College, B.S. inMathematics<BR>1963 University of Illinois, M.S. inMathematics<BR>1966 Munich Institute of Technology, Dr. rer. nat. inMathematics<P><b>EXPERIENCE</b><BR>1960-62 Mathematician-programmer, U.S. Naval Weapons Lab.<BR>1963-66 Assistant, Munich Inst. of Technology<BR>1966-69 Assistant Professor, Stanford University<BR>1969-77 Associate Professor, Cornell University<BR>1975-76 Sabbatic, Technical University, Munich<BR>1977-99 Professor, Cornell University<BR>1982-87 Chair, Computer Science Department, Cornell<BR>1983-84 Sabbatic, Oxford University<BR>1990-91 Sabbatic, Regents Chair in Computer Science, Univ. Texas, Austin<BR>1992-99 William L. Lewis Professor of Engineering (endowed chair)<P><b>PH.D. STUDENTS ADVISED</b><P><PRE>1971 Susan L. Graham 1977 Kuo-Chung Tai 1987 Jennifer Widom1972 Jean-Pierre Levy 1980 Gary M. Levin 1987 Jan Prins1972 John S. Brown 1980 John Holm 1991 Geoffrey Smith1973 Donald B. Johnson 1981 Robert Melville 1994 T.V. Raman1975 Narain Gehani 1984 Peter Vanderbilt 1994 S. Efremidis1975 Susan S. Owicki 1985 Dean Jacobs1977 Juan M. Lafuente 1985 Van Long Nguyen</PRE><P><b>AWARDS</b><UL> <LI>Doctor of Laws (Honorary Degree), Daniel Webster College, Nashua, New Hampshire (11 May 1996).<BR><BR> <LI>1995 ACM Karl V. Karlstrom Outstanding Educator Award. (17 Feb. 1996).<BR><BR> <LI>1994 Taylor L. Booth Award Education Award, IEEE Computer Society (7 Dec. 1995).<BR><BR> <LI>Advisor of T.V. Raman, whose Ph.D. thesis won the annual ACM Best Dissertation Award (March 1995).<BR><BR> <LI>ACM-SIGCSE Award for Outstanding Contributions to Computer Science Education, 1991.<BR><BR> <LI>Education Award, American Federation of Information Processing Societies, 1986.<BR><BR> <LI>Computing Research Association Award for Service to the Computing Community, 1991.<BR><BR> <LI>ACM Fellow (Charter member: among the first group to be inducted), 8 March 1994.<BR><BR> <LI>Fellow of the AAAS, 1990-.<BR><BR> <LI>Guggenheim Fellowship, 1983-84.<BR><BR> <LI>ACM Programming Systems and Languages Paper Award 1977 (with S. Owicki).<BR><BR></UL></P><P><b>AWARDS AT CORNELL</b><UL> <LI>Weiss Presidential Fellow (for contributions to undergraduate education). Cornell University, 1995.<BR><BR> <LI>Computer Science Department Faculty of the Year, 1995-96 (Cornell Association for Computer Association of Undergraduates (ACSU)).<BR><BR> <LI>Clarke Award for Excellence in Undergraduate Teaching; College of Arts and Science, Cornell University, 1986-87.<BR><BR> <LI>Chosen by a Cornell Merrill Presidential Scholar (Thomas Yan) as the faculty member who had the most positive influence on his education at Cornell, 1990.<BR><BR> </UL></P><P><b>COMMUNITY PARTICIPATION AND LEADERSHIP (SELECTED)</b><UL><LI>Member, Computing Research Board, 1983-1990.<LI>Chair, Computing Research Board, 1987-89.<LI>Series Editor, Springer Verlag Texts and Monographs in Computer Science,1973-.<LI>Main Editor, <em>Acta Informatica</em>, 1982-.<LI>Managing Editor, <em>Information Processing Letters</em>, 1988-.<LI>Editor, Programming Languages section of <em>CACM</em>, 1969-72.<LI>Editorial Board: Acta Informatica, 1970-;Information Processing Letters, 1973-;Springer Verlag Lecture Notes in Computer Science, 1973-;Distributed Computing 1985-88;Software -Concepts and Tools, 1988-;Formal Aspects of Computer Science, 1988-.<LI>Advisory Board, Conference on Foundations of Software Technology andTheoretical Computer Science (India), 1981-.<LI>Chair, Program Committee, 2nd IEEE Symp. Logics in Computer Science, 1987.<LI>Member of Program Committees: 5th Int. Symp. Programming. 1981;6th Int. Symp. Programming. 1982;POPL 1978; POPL 79;6th Int. Conf. Software Engineering, 1982;IFIP Working Conference on ProgrammingConcepts and Methods, 1990.<LI>National Research Council to Survey InternationalDevelopments in Computer Science. 1980-82.<LI>Computer Science Screening Committee, Council for InternationalExchange of Scholars, 1984-86.<LI>Chair, Panel on research directions in Software. NSF AdvisoryCommittee Meeting, Dec. 1988.<LI>Scientific Director, Institute for Encapsulation, Modularizationand Reuseability, Year of Programming, University of Texas at Austin, 1987.<LI>Member, Committee to Assess the Scope and Direction ofComputer Science and Technology (Computer Science andTelecommunications Board of the National Research Council), 1990-92.<LI>ACM Task Force on Computer Science Core Curriculum, 1987-89.<LI>ACM Strategic Planning Committee, 1988-90.<LI>Scientific Director, Institute for Encapsulation, Modularizationand Reuseability, Year of Programming, University of Texas at Austin, 1987.<LI>Chair, ACM Award Committee, Best Paper in Programming Languages and Systems 1972-75.<LI>National ACM Lecturer, 1970-71.<LI>Member, Selection committee for NAS Graduate fellowships, 1971-72.<LI>Member, IFIP Working Group 2.3, 1974-.<LI>Reviewer for the PROCOS research project, the ESPRIT program, 1990.<LI>Review Committee, numerous computer science departments. </UL><P><P><b>PATENTS</b><UL><LI>Method for generating audio renderings of digitized works having highly technical contents. Patent applied for, Docket No. D-1466 (with T.V. Raman). </UL><P><P><b>PUBLICATIONS</b><BR><A NAME = "GriesTexts"><b>Books</b></A><UL><LI><em>A Logical Approach to Discrete Math</em>. Springer Verlag, NY, 1993, 500 pages (with F.B. Schneider).<LI><em>Instructor's Manual for ``A Logical Approach to Discrete Math''</em>. D. Gries and F.B. Schneider, Ithaca, 1993. 311 pages (with F.B. Schneider).<LI><em>Beauty is our Business</em>. Editor. Springer Verlag, New York, 1990, 453 pages. (with W.H.J. Feijen, A.J.M. van Gasteren, and J. Misra).<LI><em>The Science of Programming</em>. Springer Verlag, New York, 1981, 350 pages. (Translated into Russian and Japanese.)<LI><em>Programming Methodology: a Collection of Articles by Members of IFIP WG2.3</em>. Editor. Springer Verlag, New York, 1979, 437 pages.<LI><em>An Introduction to Programming -a structured approach.</em> Winthrop,Cambridge, Edition 3, 1978, 509 pages. (with R. Conway).<LI>The following books are extensive revisions to suit different needs:<OL><LI><em>A Primer on Structured Programming, Using PL/I, PL/C and PL/C7.</em> 1976,397 pages. (with R. Conway).<LI><em>Primer on Structured Programming using Pascal.</em> 1976, 433 pages.(with R. Conway and E.C. Zimmerman).<LI><em>An Introduction to Structured Programming using SP/K.</em> 1977.(with R. Conway and D. Wortman).<LI><em>Introduction to Microprocessor Programming using PL/Z.</em> 1979, 593 pages.(with R. Conway, M. Fay, and C. Bass).</OL><LI><em>Compiler Construction for Digital Computers</em>. John Wiley and Sons,New York, 1971, 491 pages. (Translated into Spanish, Japanese, Chinese,Italian and Russian.) </UL> <P><b>Published Articles and Lectures</b><UL><li><a href="Papers/webster1.htm">What's education for?</a> Address at the Opening Convocation, Daniel Webster College, 6 September 1996.<LI>The need for education in useful formal logic. <em>IEEE Computer</em> (April 1966), 29-30.<LI>Avoiding the undefined by underspecification. In J. van Leeuwen (Ed.). <em>Computer Science Today</em>. Springer Verlag Lecture Notes in Computer Science 1000, October 1995, 366-373. (with Fred B. Schneider).<LI>Teaching math more effectively through calculational proofs. <em>The Mathematical Monthly</em> (October 1995), 691-697. (with F.B. Schneider).<LI>A new approach to teaching discrete mathematics. <em>PRIMUS V</em>, 2 (June 1995), 114-115. (with F.B. Schneider).<LI><A HREF = "http://cs-tr.cs.cornell.edu/TR/CORNELLCS:TR94-1455?abstract="> Equational propositional logic</A>. <em>IPL 53</em>, 3 (February 1995), 145-152. (with Fred B. Schneider).<LI>Documents mean more than just paper! <em>Proc. Second International Workshop on the Principles of Document Processing</em>, April 1994 (with T.V. Raman).<LI>Data refinement and the transform. In Broy (ed.), <em>Program Design Calculi</em>. NATO ASI Series F, 118, Springer-Verlag, Heidelberg, 1993. pp. 92-119.<LI>Computer Science, Academic. Encyclopedia of Computer Science, Third Edition (A. Ralston and E.D. Reilly, eds.), Van Nostrand Reinhold, New York, 1993, p. 322-323 (with D. Marsh).<LI>Loop invariant. Encyclopedia of Computer Science, Third Edition (A. Ralston and E.D. Reilly, eds.), Van Nostrand Reinhold, New York, 1993, p. 796-797.<LI>Trace-based network proof systems: expressiveness and completeness. <em>TOPLAS 14</em>, 3 (July 1992), 396-416. (with J. Widom and F.B. Schneider).<LI>A new programming language. <em>Proc. Software Technology Conference 1992</em>, Los Angeles, California, 27-29 April 1992, pp. 97-101.<LI>A constructive proof of Vizing's theorem. <em>IPL 41</em>, 3 (March 1992), 131-133. (with J. Misra).<LI>On progress in programming. In Broy, M. (ed.). <em>Informatik und Mathematik</em>, Springer Verlag, Heidelberg, 1991, pp. 297-302.<LI>Teaching calculation and discrimination: a more effective curriculum. <em>Comm. ACM 34</em>, 3 (March 1991), 44-55.<LI>Binary to decimal, one more time. In <em>Beauty is our Business</em> (W.H.J. Feijen et al, eds.), Springer Verlag, New York, 1990, pp. 141-148.<LI>The transform -a new language construct. <em>Structured Programming 11</em> (1990), 1-10. (with D. Volpano).<LI>An optimal parallel algorithm for generating combinations. IPL 33 (November 1989), 135-139. (with S.E. Akl and I. Stojmenovic).<LI>Influences (or lack thereof) of formalism in teaching programming and software engineering. (Banquet speech.) <em>Ibid</em>, pp. 229-236.<LI>A hands-in-the-pocket presentation of a k-majority vote algorithm. In <em>Formal development of programs and proofs</em> (E.W. Dijkstra, ed.), Addison-Wesley, Menlo Park, 1990, pp. 43-45.<LI>Inorder traversal of a binary tree and its inversion. <em>Ibid</em>, pp. 37-42. (with J.L.A. van de Snepscheut).<LI>The maximum-segment-sum problem. <em>Ibid</em>, pp. 33-36.<LI>An algorithm for transitive reduction of an acyclic graph. <em>Science of Computer Programming 12</em>, 2 (July 1989), 151-155. (with A.J. Martin, J.L.A. van de Snepscheut, and J.T. Udding).<LI>Developing a linear algorithm for cubing a cyclic permutation. <em>Science of Computer Programming 11</em>, 2 (December 1988), 161-166. (with J. Xue).<LI>Generating a random cyclic permutation. <em>BIT 28</em>, 3 (1988), 569-572. (with J. Xue).<LI>A note on Graham's convex hull algorithm. <em>IPL 25</em>, 5 (July 1987), 323-328. (with I. Stojmenovic).⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?