Dr. Margarita Korovina
Dr. Margarita Korovina
Mercator Fellow
Arithmetische Algorithmen
FB IV - Abteilung Informatikwissenschaften
Universität Trier
D-54286 Trier
Germany
e-mail: rita.korovinagmailcom
phone: (+49) (0) 651-201-2849
room: H416
Research Interests
- Computable analysis
- Logic in Computer Science
- Hybrid System
- Logic
- Definability theory
- Computability theory
- Admissible Sets Theory
- Generalized Recursion Theory
- Scott-Ershov Domain Theory
Publications