291:
216:
256:
286:
246:
47:
261:
97:
241:
251:
271:
89:(HP) Research Laboratories in the UK. From 2008 to 2011 he was the Chief Mathematics Officer of Concinnitas Ltd before returning to HP.
126:
70:
to the study of the behaviour of animals and disease processes, which led to his interest in the correctness of simulation models.
118:
276:
266:
281:
93:
78:
39:
51:
184:
42:, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by
92:
Chris Tofts was a visiting
Professor of Computer Science at Swansea University. He was a Fellow of the
236:
231:
82:
169:
74:
23:
122:
188:
86:
67:
225:
43:
35:
165:
153:
55:
149:
66:
Tofts' postdoctorate research saw some of the first applications of
101:
292:
Fellows of the
Institute of Mathematics and its Applications
181:
201:
British
Colloquium for Theoretical Computer Science website
200:
85:(1996–99). From 1999 to 2008 he was a scientist at
48:Laboratory for Foundations of Computer Science
98:Institute of Mathematics and its Applications
8:
145:
143:
257:Academics of the University of Manchester
287:Fellows of the British Computer Society
139:
115:Concurrency, Complexity and Performance
217:Chris Tofts — Publications and Patents
247:Alumni of the University of Edinburgh
100:, as well as a past President of the
7:
262:Academics of the University of Leeds
242:Alumni of Clare College, Cambridge
14:
252:Academics of Swansea University
1:
272:English computer scientists
73:Tofts held lectureships at
22:(1964-2024) was an English
308:
16:English computer scientist
94:British Computer Society
79:University of Manchester
40:Clare College, Cambridge
277:English science writers
182:Concinnitas Ltd website
52:University of Edinburgh
38:as an undergraduate at
267:Hewlett-Packard people
282:Formal methods people
187:27 July 2009 at the
34:Chris Tofts studied
96:and Fellow of the
83:University of Leeds
81:(1994–96), and the
170:Scientific Commons
75:Swansea University
24:computer scientist
20:Chris M. N. Tofts
299:
204:
198:
192:
179:
173:
163:
157:
147:
307:
306:
302:
301:
300:
298:
297:
296:
222:
221:
213:
208:
207:
199:
195:
189:Wayback Machine
180:
176:
164:
160:
148:
141:
136:
110:
87:Hewlett-Packard
77:(1992–94), the
68:process algebra
64:
32:
17:
12:
11:
5:
305:
303:
295:
294:
289:
284:
279:
274:
269:
264:
259:
254:
249:
244:
239:
234:
224:
223:
220:
219:
212:
211:External links
209:
206:
205:
193:
174:
158:
138:
137:
135:
132:
131:
130:
109:
106:
63:
60:
31:
28:
15:
13:
10:
9:
6:
4:
3:
2:
304:
293:
290:
288:
285:
283:
280:
278:
275:
273:
270:
268:
265:
263:
260:
258:
255:
253:
250:
248:
245:
243:
240:
238:
235:
233:
230:
229:
227:
218:
215:
214:
210:
202:
197:
194:
190:
186:
183:
178:
175:
171:
167:
162:
159:
155:
151:
146:
144:
140:
133:
128:
127:0-387-95438-4
124:
120:
116:
113:Chris Tofts,
112:
111:
107:
105:
103:
99:
95:
90:
88:
84:
80:
76:
71:
69:
61:
59:
57:
53:
49:
45:
41:
37:
29:
27:
25:
21:
196:
177:
161:
114:
91:
72:
65:
44:Robin Milner
33:
19:
18:
237:2024 deaths
232:1964 births
166:Chris Tofts
150:Chris Tofts
36:mathematics
226:Categories
134:References
30:Education
185:Archived
154:LinkedIn
121:, 2007.
119:Springer
56:Scotland
50:at the
46:in the
125:
62:Career
108:Books
102:BCTCS
123:ISBN
228::
168:,
152:,
142:^
117:,
104:.
58:.
54:,
26:.
203:.
191:.
172:.
156:.
129:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.