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