Randomness in proof theory, model theory, and computation

Objective

Research objectives and content
The main objective of the application is to enable the applicant to connect his research with other areas, in cooperation with researchers from M|nchen. The previous research of the applicant was concerned with randomness in computability theory and with learning theory. In addition to a continuation of part of this research, new research is sought in the direction of model theory and proof theory.
Training content (objective, benefit and expected impact)
The LMU in M|nchen constitutes an excellent training environment for the applicant, in particular when seen in light of his plans to learn more proof theory.
Links with industry / industrial relevance (22)
The Formal Methods Group of Corporate Research of Siemens AG participates in the Graduiertenkolleg 'Logik in der Informatik'. In this context, one of Schwichtenbergs doctoral students (Monika Maidl) is supported by a grant form Siemens. Beginning next May another student of Schwichtenberg (Holger Benl) will begin working on a PhD project in cooperation with BMW.

Fields of science

natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logic

Programme(s)

FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Topic(s)

Call for proposal

Data not available

Funding Scheme

RGI - Research grants (individual fellowships)

Coordinator

LUDWIG-MAXIMILIANS UNIVERSITY OF MUNICH

EU contribution

No data

Address

39,Theresienstrasse 39
80333 MUENCHEN
Germany

Total cost