http:^^www.cs.umass.edu:80^~immerman^

来自「This data set contains WWW-pages collect」· EDU:80^~IMMERMAN^ 代码 · 共 67 行

Date: Thursday, 21-Nov-96 20:46:02 GMT
Server: NCSA/1.3
MIME-version: 1.0
Content-type: text/html
Last-modified: Wednesday, 13-Nov-96 20:26:41 GMT
Content-length: 2007

<title>Neil Immerman</title>
<h2>Neil Immerman</h2>
<!WA0><img src="http://www.cs.umass.edu/~immerman/immerman.gif">
<p>

Neil Immerman (Professor) received B.S. and M.S. degrees in mathematics
from Yale University in 1974 and his Ph.D. from Cornell University in 1980.
He taught in the computer science departments at Tufts University and Yale
University before joining the Department in 1989. Professor Immerman is one
of the key developers of an active research program called <!WA1><a
HREF="http://www.cs.umass.edu/~immerman/descriptive_complexity.html">Descriptive
Complexity</a>.  Using this approach, he has settled a number of open
questions in both <!WA2><a
HREF="http://www.cs.umass.edu/~thtml/people/fac/CCT.html">Computational
Complexity Theory</a> and Database Theory.  Professor Immerman is an editor
of Information and Computation, the Chicago Journal of Theoretical Computer
Science, and the Journal of Symbolic Logic.  He is the winner, jointly with
R&#243;bert Szelepcs&#233;nyi, of the 1995 G&#246;del Prize in theoretical
computer science.  <p>

<!WA3><a href="http://www.cs.umass.edu/~immerman/pub_immerman.html">Recent Publications</a><p>

Teaching, Fall 1996: <!WA4><a href="http://www.cs.umass.edu/~immerman/cs691/cs691.html">Logic and Formal Methods</a><p>

Teaching, Spring 1996: <!WA5><a
href="http://www.cs.umass.edu/~immerman/cs601/cs601.html">Theory of
Computation</a> and <!WA6><a
href="http://www.cs.umass.edu/~immerman/desc/desc.html">Descriptive Complexity</a><p>

<hr><p>

<h4>Office Hours for Fall, 1996:   </h4>
<pre>
Mon:  1:30 to 2:30;
Wed:  2:00 to 3:00;
Thur: 1:30 to 2:30; and by appointment.
</pre> 

<h4>Address:</h4>
<pre>
Neil Immerman
Department of Computer Science
University of Massachusetts
Amherst, MA  01003-4610
</pre>

<h4>Phone number:</h4>
<pre>
        413 545 1862
</pre>
<h4>Fax number:</h4>
<pre>
        413 545 1249
</pre>
<address>
Email: [e-mail].
</address>
Click <!WA7><a href="http://www.cs.indiana.edu/finger/freya.cs.umass.edu/immerman/w">here</a> for
the latest login.<p>