📄 http:^^www.cs.washington.edu^homes^amir^
字号:
Date: Thu, 21 Nov 1996 22:56:08 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Sat, 05 Oct 1996 21:41:18 GMTContent-length: 3069<html><head> <title>Amir Michail</title> <meta name="GENERATOR" content="Mozilla/3.0b4Gold (Unix)"></head><body><center><p><!===================================================><! This page was created by WEB Wizard ><!===================================================><! For additional WEB Wizard information you ><! can stop by our homepage which is located ><! at: http://www.halcyon.com/webwizard/welcome.html ><!===================================================></p></center><h1 align=center><font COLOR="#000000">Amir Michail</font></h1><center><p><! ** Suggestion: If you want less emphasis here you can use H3 instead ** ></p></center><h3 align=center>Graduate Student</h3><center><p><hr><! ** Note: if you move this file you'll have to move the image file as well. ** ><!WA0><img src="http://www.cs.washington.edu/homes/amir/amir.jpg" alt="[IMAGE]" border=0 height=283 width=203 align=left><! ** Suggestion: If you ever need preformatted text use the PRE and /PRE tags. ** ></p></center><p>I am a second year graduate student in the department of Computer Scienceat the University of Washington. My research interests include the followingareas: algorithm design, software engineering, and educational software.</p><p>I have a Master's Degree from the <!WA1><a href="http://www.toronto.edu">Universityof Toronto</a>. My master's thesis is on optimal broadcast and summationfor hierarchical ring architectures. Shift-click <!WA2><a href="http://www.cs.washington.edu/homes/amir/thesis.ps.gz">here</a>to obtain the compressed postscript file.</p><p>Recently, I have been experimenting with new ways to teach algorithms.In particular, I have built <!WA3><a href="http://www.cs.washington.edu/homes/amir/Opsis.html">Opsis</a>, a Java appletdesigned to teach balanced binary tree algorithms in a way that combinesprogramming, proof, and animation. </p><p>Finally, here is a <!WA4><a href="http://www.cs.washington.edu/homes/amir/lander.html">3D Lunar Lander</a> style gamethat I wrote for the SGI as part of an undergraduate graphics course. </p><p>Some quotations from computer scientists: </p><ul><p>"Mathematicians tend to be conservative, and many are unwillingto consider that there might be a better way of writing proofs. But, Iam told that mathematicians are embarrassed to learn that they publishedincorrect theorems, so they are motivated to avoid errors. I believe theywill like structured proofs if they can be persuaded to try them. </p><p>Computer scientists are more willing to explore unconventional proofstyles. Unfortunately, I have found that few of them care whether theyhave published incorrect results. They often seem glad that an error wasnot caught by the referees, since that would have meant one fewer publication.I fear that few computer scientists will be motivated to use a proof stylethat is likely to reveal their mistakes." -- Leslie Lamport </p><p>"There are two ways of constructing a software design: One wayis to make it so simple that there are obviously no deficiencies, and theother way is to make it so complicated that there are no obvious deficiencies."-- C. A. R. Hoare </p></ul></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -