Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch de
CORDIS - Forschungsergebnisse der EU
CORDIS
Inhalt archiviert am 2024-06-12

Randomness in proof theory, model theory, and computation

Ziel



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.

Wissenschaftliches Gebiet (EuroSciVoc)

Programm/Programme

Thema/Themen

Aufforderung zur Vorschlagseinreichung

Daten nicht verfügbar

Finanzierungsplan

RGI - Research grants (individual fellowships)

Koordinator

LUDWIG-MAXIMILIANS UNIVERSITY OF MUNICH
EU-Beitrag
Keine Daten
Adresse
39,Theresienstrasse 39
80333 MUENCHEN
Deutschland
Gesamtkosten
Keine Daten