Valentina Harizanov

Valentina Harizanov is a Serbian-American mathematician and 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 the 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.

Valentina Harizanov
NationalitySerbian-American
Alma materUniversity of Wisconsin, Madison, University of Belgrade
Known forResearch in computability theory
AwardsOscar and Shoshana Trachtenberg Prize for Faculty Scholarship (2016)
Scientific career
FieldsMathematics, Computability Theory
InstitutionsThe George Washington University
ThesisDegree Spectrum of a Recursive Relation on a Recursive Structure (1987)
Doctoral advisorTerry Millar

Education

She obtained her Bachelor of Science in mathematics in 1978 at the University of Belgrade and her Ph.D. in mathematics in 1987 at the University of Wisconsin–Madison under the direction of Terry Millar.[2][3]

Career

At The George Washington University, Harizanov was an assistant professor of mathematics from 1987 to 1993, an associate professor of mathematics from 1994 to 2002, and a professor of mathematics from 2003 to the present. She has held two visiting professor positions, one in 1994 at the University of Maryland, College Park and one in 2014 at the Kurt Gödel Research Center at the University of Vienna.[3]

Harizanov has co-directed the Center for Quantum Computing, Information, Logic, and Topology at The George Washington University since 2011.[3]

Research

In 2009, Harizanov received a grant from the National Science Foundation to research how algebraic, topological, and algorithmic properties of mathematical structures relate.[4]

Awards and honors

Harizanov won the Oscar and Shoshana Trachtenberg Prize for Faculty Scholarship from The George Washington University (GWU) in 2016.[5] This award is presented each year to a tenured GWU faculty member to recognize outstanding research accomplishments.[6]

Publications

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

  • V.S. Harizanov, "Some effects of Ash-Nerode and other decidability conditions on degree spectra " Annals of Pure and Applied Logic 55 (1), pp. 5165 (1991), cited 21 times according to Web of Science

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

  • V.S. Harizanov, “Pure computable model theory,” in the volume: Handbook of Recursive Mathematics, vol. 1, Yu.L. Ershov, S.S. Goncharov, A. Nerode, and J.B. Remmel, editors (North-Holland, Amsterdam, 1998), pp. 3114.
  • M. Friend, N.B. Goethe, and V.S. Harizanov, Induction, Algorithmic Learning Theory, and Philosophy, Series: Logic, Epistemology, and the Unity of Science, vol. 9, Springer, Dordrecht, 304 pp., 2007.

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

gollark: Fine, fine, to <#348702212110680064> with ye!
gollark: Ooo, I have a relevant quote: "The best reason not to believe in the 'supernatural' is that nobody from Texas is harvesting it and putting it in a pipeline."
gollark: I mean, that's a bit of a ridiculous way to put it, <@!496688144046096404>, but it's not a sensible justification for believing.
gollark: This is of course silly, because:- there are many more possible gods than the rewards-you-for-belief-in-your-specific-thing- it is possible that a god will punish you for "insincere" wager-driven belief
gollark: Basically, it's the idea that, since there's a chance of god existing, and if they do you'll get infinite happiness if you do believe or infinite suffering if you don't, but if they don't exist you'll not lose much by believing anyway.

References

  1. 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
  3. "Curriculum Vitae of Valentina Harizanov" (PDF). The George Washington University. Retrieved 15 January 2018.
  4. "Award Abstract #0904101: Topics in Computable Mathematics". National Science Foundation. Retrieved 15 January 2018.
  5. "Trachtenberg Research Award Winners". The George Washington University. Retrieved 15 January 2018.
  6. "Oscar and Shoshana Trachtenberg Prize for Faculty Scholarship (Research)". The George Washington University. Retrieved 15 January 2018.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.