http:^^www.cs.utexas.edu^users^bayardo^

This data set contains WWW-pages collected from computer science departments of various universities

MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:42:42 GMT
Content-Type: text/html
Content-Length: 1657
Last-Modified: Wednesday, 20-Nov-96 01:52:05 GMT

<title>Roberto Bayardo's home page</title>

<h1>Roberto Bayardo</h1>

<b> Ph.D. Candidate </b> (Expected completion date: Fall 96!!!) <br>  <b>

 <!WA0><!WA0><!WA0><a href="http://www.cs.utexas.edu/">Department of Computer Sciences</a> <br>
 <!WA1><!WA1><!WA1><a href="http://www.utexas.edu/">The University of Texas at Austin </a> </b> <br> <br>
 Currently I am also working for <!WA2><!WA2><!WA2><a href="http://www.mcc.com/"> MCC</a> within the <!WA3><!WA3><!WA3><a href="http://www.mcc.com/projects/infosleuth/"> InfoSleuth</a> project. <p>

<hr size=3>
<h3> Research Interests </h3>
<ul> 
<li> Query processing
<li> Active and expert database systems
<li> Data mining 
<li> Constraint satisfaction
</ul>

My thesis advisor is <!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/miranker"> Prof. Daniel P. Miranker</a>. <br>

Some of my <!WA5><!WA5><!WA5><a href= "http://www.cs.utexas.edu/users/bayardo/papers.html"> research papers</a> are on-line,
along with a <!WA6><!WA6><!WA6><a href = "http://www.cs.utexas.edu/users/bayardo/papers.html#toolkit"> toolkit</a> for generating
and solving exceptionally hard SAT instances. <br>

<h3>Contact Information</h3>
<dl>
<dt> E-mail address:
<dd> <tt>[e-mail]</tt>
<dt> Campus mailing address:
<dd> University of Texas at Austin
<dd> Dept. of Computer Sciences
<dd> Taylor Hall, rm. 141 (C0500)
<dd> Austin, TX  78712
</dl>

<h3> History </h3>
<ul>
<li> S.B. in Computer Science and Engineering, 
     <!WA7><!WA7><!WA7><a href="http://web.mit.edu"> MIT</a>, 1991.
<li> S.M. in Electrical Engineering and Computer Science, 
     <!WA8><!WA8><!WA8><a href="http://web.mit.edu"> MIT</a>, 1991, working at the 
     <!WA9><!WA9><!WA9><a href="http://ccs.mit.edu/"> Center for Coordination Science</a>.
</ul>

<hr size=3>
This is hit number
<!WA10><!WA10><!WA10><img src="http://www.cs.utexas.edu/pub/cgi/Count.cgi?ft=3&dd=B&frgb=0;0;255|df=bayardo1.dat" align=absmiddle>
 since March 9, 1996.