GMP/CoLoSS/credits.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>CoLoSS - Credits</title>
<link rel="stylesheet" href="main.css" type="text/css" />
</head>

<body class="secondary">
  <table>
    <tr>
      <td>
        <h3>Individuals</h3>
      </td>
      <td />
    </tr>
    <tr>
      <td />
      <td>
        <a href="http://www.informatik.uni-bremen.de/~lschrode/" target="_blank">PD. Dr. Lutz Schr&ouml;der</a>, Senior Researcher - Safe & Secure Cognitive Systems, DFKI Lab Bremen.
        <br />
        <a href="http://www.doc.ic.ac.uk/~dirk/" target="_blank">Dr. Dirk Pattinson</a>, Lecturer - Department of Computing, Imperial College London.
        <br /><br />
        <a href="http://www.informatik.uni-bremen.de/~hausmann/" target="_blank">Dipl. Inf. Daniel Hausmann</a> - Bremen University
        <br />
        B.Sc. Georgel Calin - Jacobs University Bremen.
        <br />
        M.Sc. Rob Myers - Imperial College London.
        <br />
        Diana Timofte - Jacobs University Bremen.
        <br />
    </tr>
    <!--
    <tr>
      <td>
        <h3>Additional Thanks</h3>
      </td>
      <td />
    </tr>
    <tr>
      <td />
      <td>
      To the people from the <a href="http://www.lwb.unibe.ch/" target="_blank">LWB</a> for allowing the use of their Logics Benchmarks.
      </td>
    </tr>
    -->
</table>
</body>

</html>