Randomness in proof theory, model theory, and computation

Lines connect the coordinator with its partners.

Project 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.

Original text from CORDIS.

Participants

• LUDWIG-MAXIMILIANS UNIVERSITY OF MUNICH · MUENCHENCoordinatorGermany

Links

• View on CORDIS