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.