📄 http:^^www.cs.cornell.edu^info^people^gries^gries.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 18:58:32 GMT
Content-Type: text/html
Content-Length: 6596
Last-Modified: Tuesday, 09-Jul-96 14:51:12 GMT
<HEAD><title>David Gries -Home Page</title></HEAD><BODY><h1><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.cornell.edu/Info/People/gries/gries.gif"><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><img src="http://www.cs.cornell.edu/Info/People/gries/gries-thumb.gif" align=middle></a></h1><h1>David Gries</h1>William L. Lewis Professor of Engineering<br>Dr. rer. nat., Munich Institute of Technology, 1966<P>My interests are in programming methodology, in particular the formaldevelopment of programs, and in related areas such as programminglanguages, programming language semantics, and logic. I am asinterested in the teaching of these topics as I am in further researchin them. In fact, understanding how logic and formalism can be taughtas a useful tool at the freshman/sophomore college level has been anoverriding concern of mine in the 1990's.</P><P><A NAME "Return">Click</A> on any of the following items for more information.<ul> <li> <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/Introduction.html">Teaching logic as a tool</A><BR> <li> <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF = "http://www.cs.cornell.edu/Info/People/gries/vita.html">Curriculum Vita</A><BR> <li> <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF = "#Bio.html">Short biography</A><BR> <li> <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF = "http://www.cs.cornell.edu/Info/People/gries/vita.html#GriesTexts">Texts written by Gries</A><BR> <li> <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF = "#Polya">The programming language Polya</A><BR> <li> <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF = "http://www.cs.cornell.edu/Info/People/gries/Logic/dimacs.html">Announcement of DIMACS Symposium on teaching logic</A><BR> <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF = "http://www.cs.cornell.edu/Info/People/gries/symposium/symp.htm">Links to papers for the symposium</A>. <li> <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF = "http://www.cs.cornell.edu/">Cornell CS Department Home Page</A></ul></P><HR><ADDRESS>Computer Science, Upson Hall<br>Cornell University<br>Ithaca, NY 14853<br>(607) 255-9207 gries@cs.cornell.edu</ADDRESS><HR><h1><A NAME = "Bio.html">Short biography of David Gries</A></h1><P>I was born in Flushing, New York, and spent 21 years there before Iescaped. I received a B.S. Queens College in 1960 and went to workfor the U.S. Naval Weapons laboratory (as a civilian) as amathematician-programmer. I met my wife-to-be, Elaine, a fewmonths later, and we were married in November 1961.</P><P>We went to Illinois for more education. I received a Masters degreein math from Illinois in 1963. My assistantship was to help twoGermans, Manfred Paul and Ruediger Wiehle, write a full Algol compilerfor the IBM 7090 computer --it was fun, figuring out how to implementrecursion efficiently before there were many papers on the topic.This ended up in my wife and I going to Munich for almost three years.I received my doctorate under F.L. Bauer and Joseph Stoer from MIT(the Munich Institute of Technology, Germany) in June 1966. This wasin math, or numerical analysis, since computer science theses were notyet kosher.</P><P>I was an assistant professor of Computer Science at Stanford from1966 to 1969. While at Stanford, our twins Paul and Susan were born.What made it more exciting than usual was that they were born on thebirthday of myself and my twin --26 April. So, when my twin is intown, Elaine makes four birthday cakes.</P>We left Stanford because it had no weather. We moved to Cornell, whichhas weather, in 1969 and have been snowed in ever since. I wasDepartment Chair in 1982-87, and I became the William L. LewisProfessor of Engineering in 1992. I had a Guggenheim Fellowship in1984-85.</P><P><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF = "#Return">Return to table of contents</A></P><P>I am better known for my<!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF = "http://www.cs.cornell.edu/Info/People/gries/vita.html#GriesTexts">text writing</A>and my contributions to education than on thewonderfulness of my research. Do what you are good at; bloom whereyou are planted. I have received a number of awards for contributionsto education: the 1994 IEEE Taylor L. Booth Award, the ACM SIGCSEaward in 1991, a Cornell Outstanding Educator Award in 1990, the ClarkAward from Cornell's College of Arts & Sciences in 1986, and theAmerican Federation of Information Processing Societies' (AFIPS)education award in 1985.</P><P>I am proud of all my Ph.D. advisees, but two stand out. SusanOwicki's thesis laid the foundation for proofs of correctness ofparallel programs, with the notion of <em>interference-freeness</em>.A paper co-authored by us on the topic won the 1977 ACM Award for bestpaper in programming langauges and systems. And<!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF = "http://www.cs.cornell.edu/Info/People/raman/raman.html">T.V. Raman'sthesis</A> just won the ACM best-dissertation award for 1993-94. Raman designedand implemented a system for "speaking" any tex/latex document,including technical articles and books. The same document can be printedor spoken. Being able to speakmathematics in an effective manner was an important goal of his work.Reading for the Blind is already using his system to produce audiocassettes.</P><P>I served as Chair of the Computing Research Association (then theComputer Science Board) in the late 1980's when it opened its officein Washington and began seriously to represent computing researchinterests. I also conducted the Taulbee Surveys in the period1984-1991 and am proud of obtaining essentially complete responsesfrom PhD-granting computer science departments during that period. Noother comparable survey has had such a response rate. One year, itrequired only 256 telephone calls to get the 150 departments to sendin their questionnaires. I received the Computing ResearchAssociation's 1991 Service Award for this work on the Surveys and forchairing the Association during its move toward respectability andresponsibility.</P><P>I am currently editor for <em>IPL</em>, <em>Acta Informatica</em>,<em>Formal Aspects of Computing</em>, and <em>Software Concepts andTools</em>. This editing keeps me busy, but I enjoy it. I try to takean interest in individual papers, when I know the area, and willsuggest substantial rewrites myself when I believe it will help. Servewhere you can best serve. FredB. Schneider and I are co-editors of Springer Verlag Texts andMonographs in Computer Science.</P><P>What do I do in my spare time? It used to be sports like golf,softball, volleyball, swimming and table tennis. (Once, in China, Isplit my pants playing ping pong. An hour later, while giving alecture, I mentioned that the audience should not laugh when I turnedaround, and I explained why. The interpreter spoke, and everyonelaughed. However, I don't know whether he told the truth or justsaid, "Gries made a joke, laugh.".) I also used to sing barbershop andGilbert and Sullivan. And working around the house --carpentry,wiring, remodeling-- has taken a lot of time and yielded considerablesatisfaction.</P><P><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF = "#Return">Return to table of contents</A></P><HR></BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -