http:^^www.cs.fit.edu^~ryan^
来自「This data set contains WWW-pages collect」· EDU^~RYAN^ 代码 · 共 219 行
EDU^~RYAN^
219 行
Server: Netscape-Enterprise/2.0a
Date: Tue, 14 Jan 1997 22:40:56 GMT
Accept-ranges: bytes
Last-modified: Sun, 12 Jan 1997 15:11:22 GMT
Content-length: 5817
Content-type: text/html
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN"><html><head><title>Ryan Stansifer</title></head><body><h2>Information</h2><p><!WA0><a href="http://www.cs.fit.edu/~ryan/ryan-fit.jpg">Ryan Stansifer</a><br>Associate Professor<br><!WA1><a href="http://www.cs.fit.edu">Computer Science</a><br><!WA2><a href="http://www.fit.edu">Florida Institute of Technology</a><br>150 West University Boulevard<br><!WA3><a href="http://www.iu.net:80/melbourne/">Melbourne</a>, Florida 32901-6975<br></p><p>e-mail: <tt>ryan@cs.fit.edu</tt><br>WWW: <tt>http://www.cs.fit.edu/~ryan/</tt><br>Office: 234 <!WA4><a href="http://www.fit.edu/FITgifs/crawford.gif">Crawford Science Building</a><br>Phone: (407) 768-8000, ext. 7156<br>Fax: (407) 676-0883<br></p><p><!WA5><a href="http://www.cs.fit.edu/~ryan/ryan-spring97.gif">Schedule</a> including office hours.</p><p>Students are welcome to send<!WA6><a href="mailto:ryan@cs.fit.edu">e-mail to</a> mewith questions or problems.Former students are encouraged to send<!WA7><a href="mailto:ryan@cs.fit.edu">e-mail to</a> me,and let me know what they are doing.</p><hr><h2>Professional interests</h2><p>The areas of Computer Science I'm most interested in are the following:<ul> <li>programming languages <li>compilers <li>information systems <li>internationalization</ul>more specifically:<ul> <li>the Java programming language <li>functional programming and type systems <li>object-oriented programming <li>static analysis of programs <li>software development and formal verification <li>hypermedia information systems and user interfaces <li>character sets for representing natural languages</ul><h2>Classes</h2><p>This spring I am teaching<!WA8><a href="http://www.cs.fit.edu/~ryan/cse1002/index.html">CSE 1002: Fundamentals of Software Development II</a>,<!WA9><a href="http://www.cs.fit.edu/~ryan/cse4510/index.html">CSE 4510: Special Topics -- Java</a>,and<!WA10><a href="http://www.cs.fit.edu/~ryan/cse5040/index.html">CSE 5040: Programming Languages</a>.</p><p>Last fall I taught<!WA11><a href="http://www.cs.fit.edu/~ryan/cse1001/index.html">CSE 1001: Fundamentals of Software Development I</a>,<!WA12><a href="http://www.cs.fit.edu/~ryan/cse2401/index.html">CSE 2401: Introduction to Ada</a>and<!WA13><a href="http://www.cs.fit.edu/~ryan/cse5257/index.html">CSE 5257: Graphical User Interfaces</a>.</p><p>Last summer I taughtCSE 5040: Programming Languages.</p><p>Last spring I taughtCSE 1002: Fundamentals of Software Development II,CSE 5040: Programming Languages,andCSE 4510: Special Topics--Javawith Dan Tamir.</p><h2>Activities</h2><ul> <li><!WA14><a href="http://www.cs.fit.edu/~ryan/grad/cisce.html">CIS Comprehensive Exam</a> <li><!WA15><a href="http://www.cs.fit.edu/~acm">Local chapter of the ACM</a> <li>CS Program's facilities committee</ul><h2>Research</h2><p>The hypermedia document<!WA16><a href="http://www.cs.fit.edu/~ryan/sml/sml.html">SML Synopsis</a>is an introduction to the programming language SML.</p><p>The hypermedia document<!WA17><a href="http://www.cs.unt.edu/faculty/ryan/tutorial/tutorial.html">Trestle by Example</a>is a description of the Modula-3 library Trestle.Trestle is used to build X-Window applications.</p><p>Other sundry papers of mine in gzipped, PostScript format:</p><ul> <li><!WA18><a href="http://www.cs.fit.edu/~ryan/papers/explain.ps.gz">Explaining type errors in polymorphic languages</a> <li><!WA19><a href="http://www.cs.fit.edu/~ryan/papers/cross.ps.gz">Solving diagramless crossword puzzles</a> <li><!WA20><a href="http://www.cs.fit.edu/~ryan/papers/easter.ps.gz">The calculation of Easter</a> <li><!WA21><a href="http://www.cs.fit.edu/~ryan/papers/coerce-sac.ps.gz">Type reconstruction for coercion polymorphism (SAC)</a> <li><!WA22><a href="http://www.cs.fit.edu/~ryan/papers/model.ps.gz">Method reuse in typed object-oriented languages</a> <li><!WA23><a href="http://www.cs.fit.edu/~ryan/papers/persist.ps.gz">Modula-3 as a Database Programming Language</a> <li><!WA24><a href="http://www.cs.fit.edu/~ryan/papers/reverse.ps.gz">Understanding concurrent Ada programs</a></ul><p><!WA25><A href="http://www.cs.fit.edu/~ryan/">Stansifer, Ryan</A>. <I><!WA26><Ahref="http://www.prenhall.com/~rich/013/726935/72693-5.html">The study ofprogramming languages</A></I>. Englewood Cliffs, New Jersey: <!WA27><Ahref="http://www.prenhall.com/">Prentice Hall</A>, 1995.</p><!--<p>I keep a collection of informationabout <!WA28><a href="http://www.cs.unt.edu/faculty/ryan/languages/languages.html">programming languages</a>.<!WA29><a href="ftp://ftp.cps.msu.edu:pub/arch/CS1_Language_List.Z">Reid's First Language Survey</a></p>--><h2>Miscellaneous</h2><blockquote>In fact, I do not think that the search for high-level programming languagesthat are more and more satisfactory from a logical point of view can stopshort of anything but a language in which(constructive) mathematics can be adequately expressed.</blockquote><p align=right>Per Martin-Löf</p><p>Alfred North Whitehead and Bertrand Russell,<cite>Principia Mathematica</cite>,volume 3, second edition,Cambridge University Press,Cambridge, England,1927,<!WA30><a href="http://www.cs.fit.edu/~ryan/WR_page91.gif">page 91</a>.</p><p>Friedrich Ludwig Gottlob Frege,<cite>Grundgesetze der Arithmetik</cite>,volume 2,H. Pohle, Jena,1903,end of section 143 "Aufbau,"<!WA31><a href="http://www.cs.fit.edu/~ryan/Frege_page178.gif">page 178</a>.</p><p>If you use the Web browser "chimera" you may beinterested in the origin of the imaginary beingcalled the <!WA32><a href="http://www.cs.fit.edu/~ryan/chimera.html">Chimera</a>as explained by Jorge Luis Borges.</p><p>The novel <i>The Name of The Rose</i> by Umberto Eco ends with the phrase:"stat rosa pristina nomine, nomina nuda tenemus."Eco explains this himselfin a <!WA33><a href="http://www.cs.fit.edu/~ryan/rose.html">postscript</a>.</p><p>My favorite city is<!WA34><a href="http://www.muenchen.de/">Munich</a>,<!WA35><a href="http://www.chemie.fu-berlin.de/adressen/brd.html">Germany</a>.</p><P ALIGN="CENTER"><!WA36><A HREF="http://server.berkeley.edu/~cdaveb/anybrowser.html"><!WA37><IMG SRC="http://server.berkeley.edu/~cdaveb/graphics/anybrowser3.gif" WIDTH="88" HEIGHT="31" ALT="Best viewed with any browser" BORDER="0" ALIGN="MIDDLE"></A><P><hr><address><!WA38><a href="http://www.cs.fit.edu/~ryan/">Ryan Stansifer <ryan@cs.fit.edu></a></address><!-- hhmts start -->Last modified: Sun Jan 12 10:11:22 EST 1997<!-- hhmts end --></body></html>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?