credits.html revision 74b23191c8f49798f7513f324bbdbbe32f8a1db2
539N/A<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
539N/A<html xmlns="http://www.w3.org/1999/xhtml">
1276N/A
539N/A<head>
1549N/A<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
539N/A<title>CoLoSS - Credits</title>
539N/A<link rel="stylesheet" href="main.css" type="text/css" />
919N/A</head>
919N/A
919N/A<body class="secondary">
919N/A <table>
919N/A <tr>
919N/A <td>
919N/A <h3>Individuals</h3>
919N/A </td>
919N/A <td />
919N/A </tr>
919N/A <tr>
919N/A <td />
919N/A <td>
919N/A <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.
919N/A <br />
919N/A <a href="http://www.doc.ic.ac.uk/~dirk/" target="_blank">Dr. Dirk Pattinson</a>, Lecturer - Department of Computing, Imperial College London.
919N/A <br /><br />
539N/A Georgel Calin, B.Sc. in Mathematics - Jacobs University Bremen.
539N/A <br />
539N/A Rob Myers, M.Sc. in Computational Science - Imperial College London.
539N/A <br />
539N/A Diana Timofte, Undergraduate Student in Mathematics - Jacobs University Bremen.
539N/A <br />
539N/A </tr>
1549N/A <!--
539N/A <tr>
911N/A <td>
1549N/A <h3>Additional Thanks</h3>
1549N/A </td>
1549N/A <td />
911N/A </tr>
539N/A <tr>
1276N/A <td />
539N/A <td>
970N/A To the people from the <a href="http://www.lwb.unibe.ch/" target="_blank">LWB</a> for allowing the use of their Logics Benchmarks.
970N/A </td>
970N/A </tr>
970N/A -->
970N/A</table>
970N/A</body>
970N/A
970N/A</html>
539N/A