270:
118:
for the paper "An
Effective Dichotomy for the Counting Constraint Satisfaction Problem." SIAM J. Computing. 42(3): 1245-1274 (2013) (Jointly with David Richerby) which is sponsored jointly by the European Association of Theoretical Computer Science and ACM SIGACT. (Other contemporaneous recipients
113:
in
Discrete Mathematics (Jointly with Alan Frieze and Ravi Kannan for the paper "A random polynomial time algorithm for approximating the volume of convex bodies" in the Journal of the Association for Computing Machinery) awarded by the American Mathematical Society and the Mathematical Programming
295:
310:
130:, Vladimiro Sassone and Friedhelm Meyer auf der Heide (chair), unanimously decided to give the EATCS Award to Professor Martin Dyer.
300:
67:. Currently, he focuses on the complexity of counting and the efficiency of Markov chain algorithms for approximate counting.
223:
285:
126:
In 2013, the
European Association for Theoretical Computer Science (EATCS) Awards Committee, consisting of
56:
196:
R. Bubley and M. E. Dyer (1997). "Path coupling: A technique for proving rapid mixing in Markov chains".
206:
48:
290:
201:
60:
305:
8:
269:
127:
52:
44:
32:
20:
255:
250:
229:
178:
219:
233:
182:
211:
168:
88:
157:"A random polynomial-time algorithm for approximating the volume of convex bodies"
110:
97:
the path coupling method for proving mixing of Markov chains (with Russ Bubley)
279:
215:
80:
64:
173:
156:
115:
84:
28:
198:
Proceedings 38th Annual
Symposium on Foundations of Computer Science
138:
Martin Dyer is married to Alison. They have two adult children.
120:
40:
24:
260:
154:
36:
264:
79:
polynomial time algorithm for approximating the volume of
195:
100:
complexity of counting constraint satisfaction problems
277:
75:Four key contributions made by Martin Dyer are:
268:
205:
172:
55:in 1979. His research interests lie in
278:
155:M.Dyer, A.Frieze and R.Kannan (1991).
94:linear programming in fixed dimensions
189:
148:
109:In 1991, Professor Dyer received the
104:
296:Academics of the University of Leeds
114:Society. In 2021 he was awarded the
70:
13:
31:in the School of Computing at the
14:
322:
311:Alumni of Imperial College London
244:
119:were Andrei Bulatov, Jin-Yi Cai,
301:Theoretical computer scientists
47:in 1967, obtained his MSc from
1:
256:Fulkerson prize-winning paper
141:
51:in 1968 and his PhD from the
57:theoretical computer science
7:
286:English computer scientists
133:
10:
327:
216:10.1109/SFCS.1997.646111
43:. He graduated from the
49:Imperial College London
19:(born 16 July 1946 in
251:Martin Dyer's webpage
174:10.1145/102782.102783
61:discrete optimization
267:Bibliography Server
200:. pp. 223–231.
128:Leslie Ann Goldberg
53:University of Leeds
45:University of Leeds
33:University of Leeds
21:Ryde, Isle of Wight
161:Journal of the ACM
105:Awards and honours
17:Martin Edward Dyer
225:978-0-8186-8197-4
71:Key contributions
318:
272:
238:
237:
209:
193:
187:
186:
176:
152:
89:Ravindran Kannan
326:
325:
321:
320:
319:
317:
316:
315:
276:
275:
247:
242:
241:
226:
207:10.1.1.385.5367
194:
190:
153:
149:
144:
136:
111:Fulkerson Prize
107:
73:
12:
11:
5:
324:
314:
313:
308:
303:
298:
293:
288:
274:
273:
261:Martin E. Dyer
258:
253:
246:
245:External links
243:
240:
239:
224:
188:
146:
145:
143:
140:
135:
132:
106:
103:
102:
101:
98:
95:
92:
72:
69:
9:
6:
4:
3:
2:
323:
312:
309:
307:
304:
302:
299:
297:
294:
292:
291:Living people
289:
287:
284:
283:
281:
271:
266:
262:
259:
257:
254:
252:
249:
248:
235:
231:
227:
221:
217:
213:
208:
203:
199:
192:
184:
180:
175:
170:
166:
162:
158:
151:
147:
139:
131:
129:
124:
122:
117:
112:
99:
96:
93:
90:
86:
82:
81:convex bodies
78:
77:
76:
68:
66:
65:combinatorics
62:
58:
54:
50:
46:
42:
38:
34:
30:
26:
22:
18:
197:
191:
164:
160:
150:
137:
125:
108:
74:
16:
15:
306:1946 births
167:(1): 1–17.
116:Godel Prize
85:Alan Frieze
280:Categories
142:References
202:CiteSeerX
29:professor
234:18114361
183:13268711
134:Personal
121:Xi Chen
83:(with
41:England
27:) is a
25:England
232:
222:
204:
181:
230:S2CID
179:S2CID
37:Leeds
265:DBLP
220:ISBN
87:and
63:and
263:at
212:doi
169:doi
123:.)
282::
228:.
218:.
210:.
177:.
165:38
163:.
159:.
59:,
39:,
35:,
23:,
236:.
214::
185:.
171::
91:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.