Date: Wed, 20 Nov 1996 23:03:50 GMT
Server: NCSA/1.5.1
Last-modified: Mon, 14 Oct 1996 14:42:06 GMT
Content-type: text/html
Content-length: 1438

<title> Scott Smith's Home Page </title><!WA0><img align = left hspace = 50 src = "http://www.cs.jhu.edu/~scott/scott.gif"> <address><dl>  <dt> <strong>Scott F. Smith</strong><dt> Associate Professor<dt> <!WA1><a href="http://www.cs.jhu.edu">Department of Computer Science</a> <dt> <!WA2><a href="http://www.jhu.edu">The Johns Hopkins University</a><dt> Baltimore, MD 21218-2686</dl></address><br> phone: (410) 516-5299 <br> fax: (410) 516-6134<br> email: scott@cs.jhu.edu<br> http://www.cs.jhu.edu/scott/<br> office: New Engineering Building 214<br> main machine:  magpie.cs.jhu.edu<P><P><p>My <!WA3><a href="http://www.cs.jhu.edu/~scott/interests.html">research interests</a> span a number ofareas in programming languages. Currently, I am most interested indeveloping type inference systems for object-oriented langauges thatare based on sets of subtype constraints.  The <!WA4><ahref="http://www.cs.jhu.edu/hog/">home page of theHopkins Objects Group</a> contains all of the papers our group haswritten in this area.<p><!WA5><a href="http://www.cs.jhu.edu/~scott/papers">Papers</a> in other areas, including actors,programming language semantics, constructive type theory, and hardwareverification.<p>Check out my list of <!WA6><a href="http://www.cs.jhu.edu/~scott/lang.html"> useful web pointers for programminglanguages research</a>, and my <!WA7><a href="http://www.cs.jhu.edu/~scott/vision.html">vision forfuture programming languages research</a>.<p>I became a <strong>dad</strong> as of October 3rd, 1996!  My daughter,Elizabeth, already has her <!WA8><a href="http://www.cs.jhu.edu/~scott/baby">own web page</a>.