http:^^www.cs.uiowa.edu^~bonacina^

来自「This data set contains WWW-pages collect」· EDU^~BONACINA^ 代码 · 共 69 行

Date: Tue, 14 Jan 1997 23:18:30 GMT
Server: NCSA/1.5
Content-type: text/html

<TITLE>Maria Paola Bonacina</TITLE>

<H1>Maria Paola Bonacina</H1>

<P>
<dd>I am assistant professor in the
<!WA0><A HREF="http://www.cs.uiowa.edu/">Department of Computer Science</A>
of the
<!WA1><A HREF="http://www.uiowa.edu/">University of Iowa</A>
since August 1993.
<dd>After moving to the U.S. in August 1989,
I received my Ph.D. in Computer Science
from the State University of New York at
<!WA2><A HREF="http://www.cs.sunysb.edu/">Stony Brook</A>
in December 1992.
<dd>I had my earlier education in
<!WA3><A HREF="http://www.pi.cnr.it/NIR-IT">Italy</A>,
where I received my Dottorato di Ricerca in Informatica in January 1991
and my Laurea in Scienze dell'Informazione in July 1986, both from the
<!WA4><A HREF="http://www.dsi.unimi.it/">Universita' degli Studi di Milano</A>.
<dd>I visited
<!WA5><A HREF="http://www.lri.fr/">LRI (Orsay, Paris Sud)</A> in 1988,
<!WA6><A HREF="http://www.csie.ntu.edu.tw/">National Taiwan University</A> in 1989,
the <!WA7><A HREF="http://www.mcs.anl.gov/">Argonne National Lab</A> and
<!WA8><A HREF="http://www.loria.fr/">INRIA-Lorraine</A> in 1993,
and
<!WA9><A HREF="http://www.ai.sri.com/">SRI International</A> in 1996.
<br>
I am a member
of the <em>Association for Automated Reasoning</em>
<!WA10><A HREF="http://www.mcs.anl.gov/home/mccune/ar/aar/index.html">(AAR)</A>,
the <em>European Association for Theoretical Computer Science</em>
<!WA11><A HREF="http://www.uni-paderborn.de/~eatcs">(EATCS)</A> and
the <em>Association for Symbolic Logic</em>
<!WA12><A HREF="http://www.math.uiuc.edu/~asl">(ASL)</A>.

<p>
<!WA13><A HREF="http://www.cs.uiowa.edu/~bonacina/research.html">
<H2>My research activity in automated reasoning</H2></A>

<p>
<!WA14><A HREF="http://www.cs.uiowa.edu/~bonacina/teaching.html">
<H2>My teaching activity</H2></A>

<!WA15><IMG SRC="http://www.epm.ornl.gov/pvm/gifs/owl.gif">

<p>
<tt>
Department of Computer Science<br>
University of Iowa<br>
Iowa City, IA 52242-1419, USA<br>
Office: 201F MacLean Hall<br>
Fax: [phone]<br>
E-mail: [e-mail]<br>
Finger: click
<!WA16><a href=http://www.cs.indiana.edu/finger/cs.uiowa.edu/bonacina>here</a>.
</tt>
<p>
<HR>
<p>
This page was last updated on Thursday, 31-Oct-96 20:48:48 CST
by
<!WA17><A HREF="http://www.cs.uiowa.edu/~bonacina/">Maria Paola Bonacina</A>
([e-mail]).