-
Notifications
You must be signed in to change notification settings - Fork 1
/
team.html
128 lines (120 loc) · 5.07 KB
/
team.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8" />
<title>CamFort: Automated evolution and verification of computational
science models</title>
<link rel="stylesheet" href="main.css" />
<link href="https://fonts.googleapis.com/css?family=Rasa"
rel="stylesheet" />
<script>window.twttr = (function(d, s, id) {
var js, fjs = d.getElementsByTagName(s)[0],
t = window.twttr || {};
if (d.getElementById(id)) return t;
js = d.createElement(s);
js.id = id;
js.src = "https://platform.twitter.com/widgets.js";
fjs.parentNode.insertBefore(js, fjs);
t._e = [];
t.ready = function(f) {
t._e.push(f);
};
return t;
}(document, "script", "twitter-wjs"));</script>
</head>
<body>
<a href="https://github.com/camfort/camfort"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://camo.githubusercontent.com/652c5b9acfaddf3a9c326fa6bde407b87f7be0f4/68747470733a2f2f73332e616d617a6f6e6177732e636f6d2f6769746875622f726962626f6e732f666f726b6d655f72696768745f6f72616e67655f6666373630302e706e67" alt="Fork me on GitHub" data-canonical-src="https://s3.amazonaws.com/github/ribbons/forkme_right_orange_ff7600.png"></a>
<div id="main">
<section>
<div id="header">
<a href="index.html"><img src="camfort.png" alt="CamFort logo"/></a><br />
<span class="title-big">
Specify, verify, and refactor Fortran code
</span>
</div>
</section><br />
<section>
<p>
<span class="title-small">Team</span><br /><br />
<ul>
<li><a href="http://dorchard.co.uk">Dominic Orchard</a>
(Principal investigator, University of Kent and University of Cambridge)</li>
<li><a href="https://www.cl.cam.ac.uk/~acr31/">Andrew Rice</a> (Co-investigator, University of Cambridge)</li>
<li><a href="http://www.cl.cam.ac.uk/~am">Alan Mycroft</a> (Co-investigator, University of Cambridge)</li>
<li><a href="http://github.com/raehik">Ben Orchard</a>
(Research Assistant, University of Kent)
</li>
</ul>
<br />
<b>Past members</b>
<ul>
<li><a href="http://www.cl.cam.ac.uk/~mrd45">Matthew Danish</a> (2015-2018, Research associate)</li>
<li><a href="https://github.com/madgen/">Mistral Contrastin</a> (PhD candidate / Research assistant)</li>
<li><a href="https://github.com/vimuel">Vilem-Benjamin Liepelt</a>
(intern 2017, Kent)</li>
<li><a href="https://github.com/GuiltyDolphin">Ben Moon</a>
(intern 2017, Kent)</li>
<li><a href="https://github.com/harry-clarke">Harry Clarke</a>
(intern 2017, Kent)</li>
<li><a href="https://github.com/bch29">Brad Hardy</a> (intern 2017, Cambridge)</li>
<li>Oleg Oshmyan (Masters' student, Cambridge)</li>
</ul>
</p>
</section>
</div>
<div id="side">
<a class="twitter-follow-button" href="https://twitter.com/camfort_tool"
data-show-count="false" data-size="large">
Follow @camfort_tool</a><br /><br /><br />
<section style='margin-top:-5pt'>
<a href="news.html" class="menu_button">News and releases</a><br /><br />
<a href="https://github.com/camfort/camfort/wiki" class="menu_button">Usage instructions</a><br /><br />
<a href="team.html" class="menu_button">Team</a><br /><br />
<a href="publications.html" class="menu_button">Publications</a><br /><br />
<a href="projects.html" class="menu_button">Project ideas</a>
</section>
<section>
<span class="title-small">Download</span><br />
The source code for CamFort is hosted on
<a href="https://github.com/camfort/camfort">GitHub</a>.<br /><br />
Latest binary release for Windows, Mac OS, and Linux:
<a href="https://github.com/camfort/camfort/releases">v1.2.0 (Oct 2022)</a>.
</section>
<section>
<span class="title-small">Mailing list</span><br />
For help and announcements you can sign-up to our
<a href="https://lists.cam.ac.uk/mailman/listinfo/cl-camfort">mailing list</a>.
</section>
<section>
<span class="title-small">Events</span><br />
An introduction to CamFort and training material is provided
as part of the <a
href="http://www.nag.co.uk/content/fortran-modernization-workshop">Fortran
Modernization Workshops</a> run by the Numerical Algorithms Group (<em>nag</em>) in the UK and
Europe.<br /><br />
We organise an annual workshop on <b style="font-weight:400;">Testing and Verification in
Computational Science</b>. Previous versions:
<ul style="margin-top:5pt;"><li>
<a href="http://www.cl.cam.ac.uk/~dao29/meeting-tvcs/" style="font-weight:400;">TVCS 2016</a></li>
<li><a href="https://camfort.github.io/tvcs2017/" style="font-weight:400;">TVCS
2017</a></li>
</ul>
</section>
<section>
<span class="title-small">Project</span><br />
CamFort is a joint project between the University of Cambridge
and University of Kent
supported by an <a
href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/M026124/1">EPSRC
grant</a>.</section>
<center class="logos">
<img alt="ucam" src='tvcs2017/ucam-logo.gif' class="logo"
style="top:15px;width:170px;position:relative;top:-9px;" />
<img alt="kent" src='tvcs2017/kent-logo.jpg' class="logo"
style="width:90px;"
/>
</center>
</section>
</div>
</body>
</html>