Margarita Korovina's home page

Margarita Korovina BRICS Computer Science Department University of Aarhus Ny Munkegade, bldg. 540 8000 Århus C Denmark

Office: B 3.15 Phone: (+45) 89 42 32 33 Fax: (+45) 89 42 32 55 Email: korovina@brics.dk URL: http://www.brics.dk/~korovina/

Degree: PhD
Position: Assosiate Professor
My CV

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

Recent scientific activities

• Mini-course: Computable Analysis and Applications, spring 2002.
• Publications
• Conferences