289:
thesis and prior work he investigated and formalized the CERES compiler generator (with Neil D. Jones), and showed that (1) a compiler generator is itself a compiler from language definitions to compilers; and (2) under suitable assumptions there exists a language definition that, when applied to
392:
In April 2018 it was announced that he would leave The IT University of
Copenhagen at the end of the year. In January 2019, he announced that he would sail off from Denmark, to be with his daughter, as a consequence of Denmark's immigration laws, which prevented her from entering the country.
381:. He oversaw the creation of the university from scratch, the hiring of faculty/staff, recruitment of students and the design of the study programs. The first students started 5 months later in September 1999. Since 2003 he has been
488:
320:
and the associated
Commentary, probably the most precise description developed for any realistic programming language. He co-developed the ML Kit, an implementation of
547:
562:
374:
software. The tool analyses legacy programs to discover all data fields that are used as dates. This work was presented in a POPL 1999 invited keynote.
542:
557:
532:
413:
352:
336:
448:
517:
435:
M. Tofte: Compiler
Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do. Springer-Verlag 1990
489:"Jeg forlader nu Danmark i protest mod de ekstreme regler, der forhindrer, at min afrikanske adoptivdatter kommer til landet"
407:
386:
378:
139:
92:
344:
302:
250:
64:
262:
131:
73:
552:
214:
328:
135:
127:
309:, an important open problem at the time. Moreover, he formalized a variant of the module system of the
537:
266:
77:
363:
274:
291:
210:
367:
340:
306:
254:
68:
332:
242:
164:
117:
366:
and others) a type system and a sophisticated tool called AnnoDomini for mitigation of the
290:
itself, generates a compiler generator. This has close connections to self-application in
382:
152:
230:
526:
258:
474:
444:
270:
169:
462:
Implementation of the Typed Call-by-Value lambda-calculus using a Stack of
Regions
461:
321:
317:
310:
246:
218:
88:
512:
234:
473:
P.H. Eidorff, F. Henglein, C. Mossin, H. Niss, M.H. Sørensen, M. Tofte:
301:
thesis he developed and proved correct the first sound type system for
238:
207:
451:: The Definition of Standard ML, MIT Press 1990, second edition 1997
146:
377:
In April 1999 he was appointed the first managing director of the
371:
184:
416:
356:
348:
298:
286:
419:'94 Most Influential Paper Award (with Jean-Pierre Talpin).
475:
AnnoDomini: From type theory to year 2000 conversion tool
153:
Operational semantics and polymorphic type inference
179:
163:
145:
123:
113:
98:
84:
60:
52:
30:
23:
324:whose structure closely follows the Definition.
316:Mads Tofte is a co-author of the Definition of
343:technique that avoids or minimizes the use of
8:
362:In the late nineties he co-developed (with
20:
273:). He is doctor honoris causa 2007 from
428:
548:Alumni of the University of Edinburgh
213:who has contributed in particular to
7:
347:. This work was first published in
359:1994 Most Influential Paper Award.
353:Association for Computing Machinery
14:
327:Subsequently, he developed (with
563:People from Holbæk Municipality
543:University of Copenhagen alumni
351:1994 and in 2005 it earned the
477:. In Proceedings of POPL 1999
1:
464:, In Proceedings of POPL 1994
460:M. Tofte and J.-P. Talpin:
408:IT University of Copenhagen
387:IT University of Copenhagen
379:IT University of Copenhagen
269:degree in 1988 (advised by
140:IT University of Copenhagen
93:IT University of Copenhagen
579:
558:People from Kongens Lyngby
533:Danish computer scientists
206:(born 20 April 1959) is a
406:), for leadership of the
233:, Denmark and grew up in
175:
106:
16:Danish computer scientist
257:degree (with supervisor
251:University of Copenhagen
65:University of Copenhagen
402:2002 The IDG IT award (
263:University of Edinburgh
132:University of Edinburgh
74:University of Edinburgh
313:programming language.
307:polymorphic references
221:programming language.
215:functional programming
253:where he obtained an
136:University of Nigeria
128:Copenhagen University
265:where he obtained a
518:ML Kit with Regions
281:Research and career
275:Kingston University
261:) in 1984; then at
345:garbage collection
329:Jean-Pierre Talpin
292:partial evaluation
229:Tofte was born in
211:computer scientist
368:Year 2000 problem
341:memory management
201:
200:
108:Scientific career
570:
501:
500:
498:
496:
484:
478:
471:
465:
458:
452:
442:
436:
433:
337:program analysis
333:region inference
331:) the notion of
243:computer science
197:
194:
192:
190:
188:
186:
165:Doctoral advisor
159:
118:Computer Science
44:
40:
38:
21:
578:
577:
573:
572:
571:
569:
568:
567:
523:
522:
509:
504:
494:
492:
486:
485:
481:
472:
468:
459:
455:
443:
439:
434:
430:
426:
399:
383:vice chancellor
283:
227:
183:
157:
138:
134:
130:
91:
72:
48:
47:Lyngby, Denmark
45:
42:
36:
34:
26:
17:
12:
11:
5:
576:
574:
566:
565:
560:
555:
550:
545:
540:
535:
525:
524:
521:
520:
515:
508:
507:External links
505:
503:
502:
479:
466:
453:
437:
427:
425:
422:
421:
420:
410:
398:
395:
364:Fritz Henglein
282:
279:
241:. He studied
226:
223:
199:
198:
181:
177:
176:
173:
172:
167:
161:
160:
149:
143:
142:
125:
121:
120:
115:
111:
110:
104:
103:
102:IT prisen 2002
100:
96:
95:
86:
85:Known for
82:
81:
62:
58:
57:
54:
50:
49:
46:
32:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
575:
564:
561:
559:
556:
554:
553:Living people
551:
549:
546:
544:
541:
539:
536:
534:
531:
530:
528:
519:
516:
514:
511:
510:
506:
490:
487:Tofte, Mads.
483:
480:
476:
470:
467:
463:
457:
454:
450:
446:
441:
438:
432:
429:
423:
418:
415:
411:
409:
405:
401:
400:
396:
394:
390:
388:
384:
380:
375:
373:
369:
365:
360:
358:
354:
350:
346:
342:
338:
334:
330:
325:
323:
319:
314:
312:
308:
304:
300:
295:
293:
288:
280:
278:
276:
272:
268:
264:
260:
259:Neil D. Jones
256:
252:
248:
244:
240:
236:
232:
224:
222:
220:
216:
212:
209:
205:
196:
182:
178:
174:
171:
168:
166:
162:
155:
154:
150:
148:
144:
141:
137:
133:
129:
126:
122:
119:
116:
112:
109:
105:
101:
97:
94:
90:
87:
83:
79:
75:
70:
66:
63:
59:
55:
51:
43:(age 65)
41:20 April 1959
33:
29:
22:
19:
493:. Retrieved
482:
469:
456:
447:, M. Tofte,
440:
431:
403:
391:
376:
361:
326:
315:
296:
285:In his 1984
284:
271:Robin Milner
228:
203:
202:
170:Robin Milner
151:
124:Institutions
107:
18:
538:1959 births
491:. Politiken
322:Standard ML
318:Standard ML
311:Standard ML
247:mathematics
219:Standard ML
89:Standard ML
53:Citizenship
527:Categories
495:28 January
424:References
204:Mads Tofte
37:1959-04-20
25:Mads Tofte
449:R. Harper
445:R. Milner
412:2005 The
404:IT-prisen
225:Education
61:Education
217:and the
385:of the
305:-style
297:In his
249:at the
239:Denmark
191:/people
180:Website
397:Awards
355:(ACM)
235:Holbæk
231:Lyngby
208:Danish
193:/tofte
158:(1987)
156:
147:Thesis
114:Fields
99:Awards
56:Danish
372:COBOL
497:2019
417:POPL
357:POPL
349:POPL
339:and
335:, a
245:and
187:.itu
31:Born
414:ACM
370:in
299:PhD
287:MSc
267:PhD
255:MSc
189:.dk
185:www
78:PhD
69:MSc
529::
513:CV
389:.
303:ML
294:.
277:.
237:,
39:)
499:.
195:/
80:)
76:(
71:)
67:(
35:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.