480:
33:
288:
206:
566:
517:
38:
561:
556:
551:
510:
350:
378:
320:
571:
503:
465:
336:
277:
135:
327:('venia legendi') in mathematics five years later. During the academic year 1996/1997 he was a visiting assistant professor at the
536:
292:
164:
304:
316:
83:
323:. At the same university, he received his Ph.D. in 1990 under the supervision of Horst Luckhardt and passed his
546:
328:
346:
103:
541:
229:
273:
121:
418:
374:
332:
265:
187:
63:
487:
241:
142:
199:
459:
394:
289:
German
Association for Mathematical Logic and for Basic Research in the Exact Sciences
530:
430:
479:
324:
281:
125:
93:
308:
307:(High School) in 1980 and completed his studies of mathematics, philosophy, and
32:
371:
Applied Proof Theory: Proof
Interpretation and their Use in Mathematics
342:
He is married to
Gabriele Bahl-Kohlenbach with whom he has a daughter.
269:
345:
In 2011, he received the prestigious Kurt Gödel
Research Prize of the
335:
where he worked until 2004. Kohlenbach is now a full professor at the
312:
373:. Springer Verlag - Springer Monographs in Mathematics.
319:. During his studies he received a scholarship from the
491:
235:
223:
205:
193:
181:
163:
141:
131:
117:
99:
89:
79:
71:
46:
23:
567:Academic staff of Technische Universität Darmstadt
486:This article about a German mathematician is a
331:. In 1997, he became an associate professor at
291:(DVMLG) from 2008 to 2012 and president of the
165:President of the Association for Symbolic Logic
511:
419:Curriculum vitae of Ulrich Wilhelm Kohlenbach
280:. His research interests lie in the field of
268:) is a German mathematician and professor of
8:
518:
504:
20:
351:International Congress of Mathematicians
349:. He was an invited speaker at the 2018
361:
7:
476:
474:
460:Ulrich Kohlenbach's official website
321:Studienstiftung des deutschen Volkes
562:Goethe University Frankfurt alumni
557:21st-century German mathematicians
552:20th-century German mathematicians
490:. You can help Knowledge (XXG) by
14:
478:
466:Technische Universität Darmstadt
337:Technische Universität Darmstadt
287:Kohlenbach was president of the
278:Technische Universität Darmstadt
136:Technische Universität Darmstadt
31:
399:www2.mathematik.tu-darmstadt.de
293:Association for Symbolic Logic
1:
303:He graduated ('Abitur') from
317:Goethe University Frankfurt
84:Goethe University Frankfurt
588:
572:German mathematician stubs
473:
262:Ulrich Wilhelm Kohlenbach
255:
251:
247:
212:
170:
159:
155:
151:
110:
104:Kurt Gödel Research Prize
30:
537:Mathematical logicians
369:U. Kohlenbach (2008).
329:University of Michigan
264:(born 27 July 1962 in
207:President of the DVMLG
18:German mathematician
435:fellowship.logic.at
431:"Gödel Fellowships"
353:in Rio de Janeiro.
295:from 2016 to 2018.
347:Kurt Gödel Society
122:Mathematical logic
499:
498:
380:978-3-540-77532-4
333:Aarhus University
305:Lessing-Gymnasium
266:Frankfurt am Main
259:
258:
188:Alasdair Urquhart
112:Scientific career
64:Frankfurt am Main
25:Ulrich Kohlenbach
579:
520:
513:
506:
482:
475:
463:
462:
446:
445:
443:
441:
427:
421:
416:
410:
409:
407:
405:
391:
385:
384:
366:
238:
226:
217:
196:
184:
175:
143:Doctoral advisor
60:
56:
54:
35:
21:
587:
586:
582:
581:
580:
578:
577:
576:
527:
526:
525:
524:
471:
458:
457:
454:
449:
439:
437:
429:
428:
424:
417:
413:
403:
401:
393:
392:
388:
381:
368:
367:
363:
359:
301:
236:
224:
218:
213:
194:
182:
176:
171:
147:Horst Luckhardt
80:Alma mater
67:
61:
58:
52:
50:
42:
26:
19:
12:
11:
5:
585:
583:
575:
574:
569:
564:
559:
554:
549:
544:
539:
529:
528:
523:
522:
515:
508:
500:
497:
496:
483:
469:
468:
453:
452:External links
450:
448:
447:
422:
411:
386:
379:
360:
358:
355:
300:
297:
257:
256:
253:
252:
249:
248:
245:
244:
239:
233:
232:
227:
221:
220:
210:
209:
203:
202:
197:
191:
190:
185:
179:
178:
168:
167:
161:
160:
157:
156:
153:
152:
149:
148:
145:
139:
138:
133:
129:
128:
119:
115:
114:
108:
107:
101:
97:
96:
91:
90:Known for
87:
86:
81:
77:
76:
73:
69:
68:
62:
48:
44:
43:
37:Kohlenbach at
36:
28:
27:
24:
17:
13:
10:
9:
6:
4:
3:
2:
584:
573:
570:
568:
565:
563:
560:
558:
555:
553:
550:
548:
547:Living people
545:
543:
540:
538:
535:
534:
532:
521:
516:
514:
509:
507:
502:
501:
495:
493:
489:
484:
481:
477:
472:
467:
461:
456:
455:
451:
436:
432:
426:
423:
420:
415:
412:
400:
396:
390:
387:
382:
376:
372:
365:
362:
356:
354:
352:
348:
343:
340:
338:
334:
330:
326:
322:
318:
314:
310:
306:
298:
296:
294:
290:
285:
283:
279:
275:
271:
267:
263:
254:
250:
246:
243:
242:Benedikt Löwe
240:
234:
231:
228:
222:
216:
211:
208:
204:
201:
198:
192:
189:
186:
180:
174:
169:
166:
162:
158:
154:
150:
146:
144:
140:
137:
134:
130:
127:
123:
120:
116:
113:
109:
105:
102:
98:
95:
92:
88:
85:
82:
78:
74:
70:
65:
59:(age 62)
49:
45:
40:
34:
29:
22:
16:
492:expanding it
485:
470:
438:. Retrieved
434:
425:
414:
402:. Retrieved
398:
389:
370:
364:
344:
341:
325:habilitation
302:
286:
282:proof mining
261:
260:
237:Succeeded by
230:Peter Koepke
214:
200:Julia Knight
195:Succeeded by
172:
132:Institutions
126:proof theory
111:
94:Proof mining
57:27 July 1962
15:
542:1962 births
404:23 November
309:linguistics
225:Preceded by
183:Preceded by
72:Nationality
39:Oberwolfach
531:Categories
357:References
53:1962-07-27
440:31 August
395:"kohlenb"
315:from the
219:2008–2012
215:In office
177:2016–2018
173:In office
66:, Germany
311:with a
276:at the
270:algebra
377:
313:diplom
118:Fields
106:(2011)
100:Awards
75:German
41:, 2011
274:logic
488:stub
442:2019
406:2019
375:ISBN
299:Life
272:and
47:Born
464:at
533::
433:.
397:.
339:.
284:.
124:,
55:)
519:e
512:t
505:v
494:.
444:.
408:.
383:.
51:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.