Scheme and Common Lisp use different names for some of the basic system functions. Many Lisp programs can be translated to the other dialect simply by changing these names (or by providing the ...

1 On our inability to do much. 4 On the reliability of mechanisms. 8 On our mental aids. 15 An example of a correctness proof. 19 On the validity of proofs versus the validity of implementations. 21 ...

All speakers of the lecture series have received very strict instructions as how to arrange their speech; as a result I expect all speeches to be similar to each other. Mine will not differ, I adhere ...

As a reviewer, you represent your community and your review should be professional and constructive. The quality of the venue depends on the quality of reviews. The job of the reviewer is to select ...

Roughly speaking, there are two ways in which people try to reason about programs; I shall distinguish them as “the postulational method” and “the operational method”. The first method is called ...

Thanks to Don Slater at CMU for letting me use this page. Important. Download and install Java first per these instructions then download and install the Eclipse IDE per these instructions. Other ...

My main research interest is in computational theories of the brain with emphasis on human vision and motor control. In 1985 Chris Brown and I led a team that designed and built a high speed binocular ...

Peter Stone, Truchard Foundation Chair in Computer Science and Chair of the Department of Computer Science, presents the keynote “From How to Learn to What to Learn in Multiagent Systems and Robotics” ...

This is a section from the last essay written by Isaiah Berlin, published in the New York Review of Books, Vol. XLV, Number 8 (1998). Copyright: The Isaiah Berlin ...

I retired from UT in December, 2016. My last big project was FREGE, an online environment for learning introductory logic and discrete mathematics. It is an interactive textbook with over 500 problems ...

When the idea to write about the next fifty years of computing first entered my head, I wrote it off as utterly preposterous: what sane scientist purports to be able to see so far into the future? But ...

B.S. in Computer Engineering, University of Illinois at Urbana/Champaign, 1983 M.S. in Computer Science, University of Illinois at Urbana/Champaign, 1985 See my invited talk at the EMNLP 2023 Big ...