Valentina Harizanov

Valentina Harizanov is a Professor of Mathematics at the George Washington University. Her main research contributions are in computable structure theory (roughly at the intersection of computability theory and model theory), where she introduced the notion of degree spectra of relations on computable structures and obtained first significant results concerning uncountable, countable and finite Turing degree spectra.[1] Her recent interests include algorithmic learning theory and spaces of orders on groups.

She obtained BS in mathematics at the University of Belgrade, and PhD in mathematics at the University of Wisconsin–Madison under the direction of Terry Millar.[2]

Publications

Harizanov has over 40 publication in peer-reviewed journals, including

In addition, she has published the following book-length survey paper and co-edited co-authored book:

Degree spectra of relations are introduced and first studied in Harizanov's dissertation: Degree Spectrum of a Recursive Relation on a Recursive Structure.[1]

References

  1. 1 2 Harizanov, V.S. (1987). "Degree Spectrum of a Recursive Relation on a Recursive Structure". Ph.D. Dissertation, University of WisconsinMadison.
  2. Valentina Harizanov at the Mathematics Genealogy Project

External links

This article is issued from Wikipedia - version of the Sunday, April 24, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.