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
  30       </ul>
  31
  32       <ul>
  33                 <li><a href="features.html">Features</a></li>
  34
  35       </ul>
  36
  37       <ul>
  38           <li><a href="whatsnew.html">What's new</a><br>
  39      </li>
  40
  41       </ul>
  42
  43       <ul>
  44                 <li><a href="documentation.html">Documentation</a></li>
  45
  46
  47       </ul>
  48
  49       <ul>
  50                <li><a href="implementation.html">Implementation</a><br>
  51                </li>
  52
  53       </ul>
  54
  55       <ul>
  56                <li>The authors<br>
  57                </li>
  58
  59
  60       </ul>
  61
  62       <ul>
  63                <li><a href="links.html">Links</a><br>
  64                </li>
  65
  66       </ul>
  67              <br>
  68                 </td>
  69                 <td valign="top">
  70
  71       <div align="right"><b>The authors</b><br>
  72              </div>
  73              <br>
  74        MathQL-1is developed by <a
  75  href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio  Guidi</a> and <a
  76  href="http://www.cs.unibo.it/%7Eschena/">Irene Schena</a>  at the <a
  77  href="http://www.cs.unibo.it/">Department of Computer  Science</a>  of the
  78       <a href="http://www.unibo.it/">University of Bologna</a> since April
  79   2002.<br>
  80              <br>
  81              <b>Ferruccio Guidi</b> obtained a Master degree in Mathematics
  82 at the  University   of Padova and a PhD in Computer Science at the University
  83  of  Bologna. His research interests include computer-assisted proof development,
  84    Martin-L&ouml;f type theory and substructural logic. He is a member of
  85 the        <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of
  86 the       <a href="http://www.math.unipd.it/%7Elogic/">"Paulus Venetus" Research
  87 Group in Logic</a>.<br>
  88              <br>
  89              <b>Irene Schena</b> obtained a Master Degree in Computer Science
  90 and a Ph.D. in Computer Science at the University of Bologna. Her research
  91 interests include Linear Logic and Web Technologies. She is a member of the
  92       <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of the
  93       <a href="http://www.w3c.org/Math">W3C Math Working Group</a>.<br>
  94              <br>
  95              <b>Contacts:</b> <a href="mailto://fguidi@cs.unibo.it">fguidi@cs.unibo.it</a>,
  96         <a href="mailto://schena@cs.unibo.it">schena@cs.unibo.it</a>.<br>
  97                 </td>
  98               </tr>
  99
 100   </tbody>
 101 </table>
 102            <br>
 103 </body>
 104 </html>