Valentina HarizanovValentina Harizanov is a Professor of Mathematics at George Washington University, where she also serves as co-director of the Center for Quantum Computing, Information, Logic, and Topology. Harizanov obtained her PhD in Mathematics at the Universityof Wisconsin, Madison. She is internationally recognized for her research in mathematical logic, particularly in computability theory and computable model theory. Harizanov has published over sixty research papers in peer-reviewed journals and volumes in mathematics and theoretical computer science. She is a co-editor of Induction, Algorithmic Learning Theory, and Philosophy (2007) and a co-author of the Handbook of Recursive Mathematics, The Expression of Modality and, most recently, Turing's Legacy (Cambridge, 2014). Harizanov has given around 120 invited talks at conferences and universities throughout the United States and Europe, as well as in Canada, Israel, and Russia, including plenary talks at the European Summer ASL (Association for Symbolic Logic) Meeting, the Annual ASL North American Meeting, the Winter ASL North American Meeting, the Mal'cev Meeting, and the Mathematical Association of America Meeting. Since 2001, Harizanov has organized the Washington Logic Seminar at George Washington University. Read More Read Less