uri icon
  • Contact Info
  • 202-994-6595

Valentina Harizanov Faculty Member

Positions

Valentina Harizanov, Professor of Mathematics, specializes in mathematical logic with a focus on the theory of algorithms and computable model theory. She authored or co-authored about 80 peer-reviewed research papers, and has co-published books Induction, Algorithmic Learning Theory, and Philosophy by Springer, and Logic and Algebraic Structures in Quantum Computing by Cambridge University Press. She co-authored collaborative volumes Handbook of Recursive Mathematics by Elsevier, The Expression of Modality by Mouton de Gruyter, Turing’s Legacy by Cambridge University Press, and others. She has given over 150 invited talks at conferences and universities throughout the United States and Europe, and in Canada, Israel, Russia, New Zealand, and Singapore. She received the George Washington Award, Oscar and Shoshana Trachtenberg Prize for Faculty Research, and held Columbian Research Fellowship and CCAS Dean's Research Chair.

Research Areas

GW Expert Finder utilizes up to four primary sources that shares data to populate individual profiles. Reference these FAQs for information on how to update your GW expert profile.
GW Expert Finder utilizes up to four primary sources that shares data to populate individual profiles. Reference these FAQs for information on how to update your GW expert profile.