http:^^www.csc.ncsu.edu^faculty^piyer^

来自「This data set contains WWW-pages collect」· EDU^FACULTY^PIYER^ 代码 · 共 137 行

Date: Mon, 25 Nov 1996 22:04:07 GMT
Server: NCSA/1.5.2
Last-modified: Fri, 23 Aug 1996 20:57:35 GMT
Content-type: text/html
Content-length: 3204

<! -- Example .html file -- >

<title>Purush Iyer's Home Page</title>

<Center>
<TABLE BORDER=10,padding=22>

<tr>
<td><!WA0><IMG SRC="http://www4.ncsu.edu/~purush/www/mypic.gif"></td>
<td>
<h2> <b>Purush Iyer</b></h2>
Associate Professor <br>
<!WA1><A HREF="http://www.csc.ncsu.edu/">Department of Computer Science</A><br>
<!WA2><A HREF="http://www.ncsu.edu/">North Carolina State Universityd</A> <br>
<!WA3><a
href="http://www1.nando.net/nao/go/cities/raleigh/raleigh.html">Raleigh</a>, 
<!WA4><a href="http://www1.nando.net/nao/go/nit/ncweb.html">NC</a> 27695-8206<br>
USA<br>
<br>
<p>
<em><!WA5><A HREF="mailto:[e-mail]">[e-mail]</A> </em><br>
[phone] (Voice) <br>
[phone] (FAX)
</TABLE>
</center>

<hr>
<h1>Education</h1>
<ul>
<li><b>PhD</b> (1986) in <i>Computer Science</i>.  <!WA6><a href=http://www.cs.utah.edu>University of Utah</a>, 
Salt Lake City, UT.

<li>
<b>M.Tech</b> (1981) in <i>Computer Science</i>.  <!WA7><a href=http://www.iitm.ernet.in>Indian Institute of 
Technology, Madras</a>, India.
<li>
<b>B.Tech</b> (1979) in <i>Civil Engg</i>. <!WA8><a href=http://www.iitm.ernet.in>Indian Institute of 
Technology, Madras</a>, India.
</ul>
<p>
<hr>
<p>
<h1>Research</h1>
<ul>
<li> Areas of research interests: <!WA9><A
HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html">Programming Languages</A>, 
<!WA10><a href=http://www.comlab.ox.ac.uk/archive/formal-methods.html>Formal Methods</a> and  Concurrency.   

<li> <!WA11><a href="http://www4.ncsu.edu/~purush/www/interest.html"> A
slightly outdated, but still relevant, description of my research
interests</a>,

<li>
<b> <!WA12><a href=http://www4.ncsu.edu/eos/users/p/purush/www/Papers/README.html>Publications</b></a>
</ul>
<p>
<hr> 
<p> 
<h1>PhD students</h1> 
<br>
<center>
<table border=4, width=70%, cellpadding=12>
<p>
<tr>
<td>
<hspace = 5pts>Robin Snyder, PhD, Penn State, 1990<hspace=5pts><br>
Shenandoah University, VA
</td>


<td>
<hspace=5pts><!WA13><a href=http://infinite.cs.swt.edu/personal/>Wuxu Peng</a>, PhD, 
Penn State, 1990<hspace=5pts><br>
Southwest Texas State University
</td>
</tr>

<tr>
<td>
<!WA14><a href=http://www.cse.ogi.edu/~mircea>Mircea Draghicescu</a>, PhD, 
Penn State, 1990<br>
Oregon Graduate Institute
</td>

<td>
<!WA15><a href=http://www.usl.edu/~jseaman>Jill Seaman</a>, PhD, Penn State, 1993<br>
University of Southwestern Lousiana
</td>
</tr>

<tr>
<td>
<!WA16><a href=http://www4.ncsu.edu/~skumar/www>Sandeep Kumar</a>, PhD, NC State, 1996<br>
HP Labs, Cambridge, MA
</td>

<td>
<!WA17><a href=http://www4.ncsu.edu/~dcduvarn/WWW>Dan DuVarney</a><br>
PhD candidate at NC State
</td>
</tr>


<tr>
<td>
<!WA18><a href=http://www4.ncsu.edu/~mnarasi/WWW>Murali Narasimha</a><br>
PhD candidate at NC State
</td>

<td>
<!WA19><a href=http://www.cs.ecu.edu/faculty/jfwirth/www.html>Dr. James Wirth</a><br>
PhD candidate at NC State<br>
</td>
</tr>
</table>
</center>


<hr>
<p><h1>Conference Announcements </h1><br>
<ul>
<li> <!WA20><a href=http://www.informatik.uni-kl.de/aggotz/forte.pstv96>
FORTE/PSTV '96</a>: Joint Conference on Formal Description Techniques and
Protocol Specification, Testing and Verification.
</ul>


<! -- Personal Information follows...you can include as much or as little
      as you so desire...feel free to add extra stuph too... -- >