helm/mathql/homepage/authors.html

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
   2 <html>
   3 <head>
   4   <title>MathQL</title>
   5
   6   <meta http-equiv="content-type"
   7  content="text/html; charset=ISO-8859-1">
   8
   9   <meta name="author" content="Ferruccio Guidi">
  10
  11   <meta name="description" content="MathQL Home Page">
  12 </head>
  13   <body>
  14
  15 <h1 align="center">MathQL-1</h1>
  16
  17 <h2 align="center">A query language for RDF metadata</h2>
  18
  19 <table cellpadding="10" cellspacing="2" border="0" width="95%"
  20  bgcolor="#ffffff">
  21           <tbody>
  22             <tr>
  23               <td valign="top" align="left">
  24
  25       <ul>
  26                 <li><a href="index.html">Forward</a><br>
  27              </li>
  28
  29       </ul>
  30
  31       <ul>
  32               <li><a href="features.html">Features</a></li>
  33
  34       </ul>
  35       <ul>
  36         <li><a href="whatsnew.html">What's new</a><br>
  37    </li>
  38       </ul>
  39
  40       <ul>
  41               <li><a href="documentation.html">Documentation</a></li>
  42
  43       </ul>
  44
  45       <ul>
  46              <li><a href="implementation.html">Implementation</a><br>
  47              </li>
  48
  49       </ul>
  50
  51       <ul>
  52              <li>The authors<br>
  53              </li>
  54
  55       </ul>
  56
  57       <ul>
  58              <li><a href="links.html">Links</a><br>
  59              </li>
  60
  61       </ul>
  62            <br>
  63               </td>
  64               <td valign="top">
  65       <div align="right"><b>The authors</b><br>
  66            </div>
  67            <br>
  68      MathQL-1is developed by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
  69  Guidi</a> and <a href="http://www.cs.unibo.it/%7Eschena/">Irene Schena</a>
  70  at the <a href="http://www.cs.unibo.it/">Department of Computer  Science</a>
  71  of the <a href="http://www.unibo.it/">University of Bologna</a> since April
  72  2002.<br>
  73            <br>
  74            <b>Ferruccio Guidi</b> obtained a degree in Mathematics at the
  75 Univerity   of Padova and a PhD in Computer Science at the University  of
  76 Bologna. His research interests include computer-assisted proof development,
  77   Martin-L&ouml;f type theory and substructural logic. He is a member of the
  78        <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of the
  79       <a href="http://www.math.unipd.it/%7Elogic/">"Paulus Venetus" Research
  80 Group in Logic</a>.<br>
  81            <br>
  82            <b>Irene Schena</b><br>
  83            <br>
  84            <b>Contacts:</b> <a href="mailto://fguidi@cs.unibo.it">fguidi@cs.unibo.it</a>,
  85        <a href="mailto://schena@cs.unibo.it">schena@cs.unibo.it</a>.<br>
  86               </td>
  87             </tr>
  88
  89   </tbody>
  90 </table>
  91         <small></small> <br>
  92        <br>
  93  <br>
  94 </body>
  95 </html>