<!DOCTYPE HTML PUBLIC ”-W3CDTD XHTML 1.0 Transitional//EN” “”> <html xmlns=“”><head>

<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Cláudia Kiermes</title>
<link href="Cl%C3%A1udia%20Kiermes_files/style.css" rel="stylesheet" type="text/css">

<!– Modelo original de cujo nome é PlainGrenn –> </head><body>

<div id=“container”> <div id=“header”> <h1>cláudia<span class=“exception”>fernanda</span>oliveira<span class=“exception”>kiermes</span>tavares</h1>

<!–img class=“logo” alt=“minha_logomarca” src=”../../c_logo.png” /–> </div>

<div id=“photo”> </div>

<div id=“nav”> <ul>

<li><a href="" class="selected">home</a></li>
<li><a href="">publications</a></li>
<li><a href="">conferences</a></li>
<li><a href="">softwares</a></li>

<!– <li><a href=“hobbies.html”>hobbies</a></li> –> </ul>


<div id=“col”> <div id=“col-in”><img style=“width: 156px; height: 156px;” src=“Cl%C3%A1udia%20Kiermes_files/eu2_255x255.jpg” alt=“my picture”> <h3>personnal links</h3>

<ul class=“menu”>

<li><a href="">flog</a></li>
<li><a href="">album


<li><a href="">album


<li><a href="">videos</a></li>
<li><a href="">Chatonch</a></li>


<h3>others links</h3>

<ul class=“menu”>

<li><a href="">bbc

learning english</a></li>

<li><a href="">franç</a></li>
<li><a href="">tv5



<!– /col-in –> </div>


<div id=“content”> <h1>home</h1>


<p>I am a PhD student at the <a href=“”>Université Henri-Poincaré - Nancy 1</a>. I work at the <a href=“”>LORIA</a> in the <a href=“”>Pareo</a> team, under the&nbsp;direction of <a href=“”>Pierre-Etienne Moreau</a> and <a href=“”>Claude Kirchner</a>.</p>

<p>My PhD subject is “Typing TOM's Strategies”.</p>

<p>My <a href=“”>CV</a> is available.</p>

<h2>Research interests</h2>


Type Theory<br>

Pattern Matching<br>



<h2>Short Biography</h2>

<h3>since 2007</h3>

<p>PhD student in Computer Science at INRIA-LORIA (Pareo team) and&nbsp;Université Henri-Poincaré - Nancy 1, UHP, Nancy, France. Advisor: Claude Kirchner. Supported by a CAPES grant from Brazil.</p>

<h3>2005 - 2007</h3>

<p>M.Sc in Computer Science at Federal University of Rio Grande do Norte, UFRN, Natal, RN, Brazil. Advisor: David Déharbe. Supported by a CAPES grant from Brazil.</p>

<h3>2000 - 2005</h3>

<p>B.Sc in Computer Science at Federal University of Rio Grande do Norte, UFRN, Natal, RN, Brazil. Advisor: David Déharbe. Supported by a PET and CNPq grant from Brazil.</p>

<h3>2002 - 2004</h3>

<p>Technical Course in Web Design at Federal Centre of Technological Education of Rio Grande do Norte, CEFET-RN, Natal, RN, Brazil.<br>



<p>Teaching Trainee in Software Specification and Verification.&nbsp;</p>


<table style=“text-align: left; margin-left: 19px; width: 776px;” border=“0” cellpadding=“2” cellspacing=“2”>

    <td style="width: 376px;">Centre de recherche INRIA

Nancy - Grand Est<br>

615 rue du Jardin botanique<br>

CS 20101<br>

54603 Villers-lès-Nancy Cedex France</td>

    <td style="width: 354px;">Office:&nbsp;&nbsp;&nbsp;


Phone: &nbsp;&nbsp;(+33) (0)3 54 95 84 15<br>

Fax: &nbsp;&nbsp;&nbsp; &nbsp; (+33) (0)3 54 95 84 01<br>

Email: &nbsp;&nbsp;&nbsp;first(name).last(name)<br>


    <span class="exception">first(name)-&gt;Claudia</span>

and <span class=“exception”>last(name)-&gt;Tavares</span></td>




<p class=“alignCenter”><a href=”#”>Top</a></p>


<div id=“logos”> <a href=“”><img src=“Cl%C3%A1udia%20Kiermes_files/valid-xhtml10-blue.asc” alt=“Valid XHTML 1.0 Transitional”></a><a href=“”><img src=“Cl%C3%A1udia%20Kiermes_files/vcss-blue.asc” alt=“Valid CSS!”></a></div>

<div id=“footer”> ”…for when I am weak, then I am strong”. (2Cor 12, 10) <br>


<h1>©<span class=“exception”>copyright</span>2008<span class=“exception”>cláudia</span>tavares</h1>

<h2><a href=“”>home</a> - <a href=“”>publications</a> - <a href=“”>conferences</a> - <a href=“”>softwares</a> <!– - <a href=”#”>hobbies</a></h2> –></h2>




playground/playground.txt · Last modified: 2008/08/07 15:51 by rouxcody
Back to top = chi`s home Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0