Blog Archives

Topic Archive: New York

Sam Van Gool
CCNY (CUNY) & ILLC (University of Amsterdam)
Sam Van Gool is a Marie Skłodowska-Curie post-doctoral fellow, currently working in the Mathematics Department of the City College of New York. His research interests are duality theory and its applications to mathematical logic and computer science, including automata, semigroups, and modal logics.
Rebecca M. Steiner
Vanderbilt University
Rebecca Steiner is a CUNY Graduate Center product, having received her Ph.D. here in 2012 as a student of Russell Miller. She then assumed a postdoctoral position at Vanderbilt University, studying computability and computable model theory, with a focus on algebraic structures. In the fall of 2015 she will join the mathematics department of Virginia Commonwealth University.
Graham Priest
CUNY Graduate Center, Ph.D. Program in Philosophy
Graham Priest, a Distinguished Professor at CUNY Graduate Center, is the most prominent contemporary champion of dialetheism, the view that some claims can be both true and false. He is known for his in-depth analyses of semantic paradoxes, and his many writings relate to paraconsistent and other non-classical logics. He has taught in Australia at the University of Melbourne since 2001 and has authored numerous books. Over the course of his prominent career, he has published articles in nearly every major journal on philosophy and logic. He has held visiting research positions at many universities, including the Australian National University, the Universities of Cambridge, New York, Pittsburgh, São Paulo, Kyoto, and the Soviet Academy of Sciences. He holds a Ph.D. in mathematics from the London School of Economics.
George Leibman
Bronx Community College, CUNY
George Leibman is a professor in the Mathematics and Computer Science department at Bronx Community College, CUNY. He received his doctorate from the CUNY Graduate Center in 2004, under the direction of Joel Hamkins, and he conducts research in set theory, with a particular interest in the modal logic of forcing.
Tudor Protopopescu
CUNY Graduate Center
Matt Jura
Manhattan College
Matt Jura received his Ph.D. from the University of Connecticut, as a student of Reed Solomon, and is currently Assistant Professor in the Mathematics Department of Manhattan College. He studies computability theory, with a focus on reverse mathematics.
Grigor Sargsyan
Rutgers University
Grigor Sargsyan is a professor of mathematics at Rutgers University. He received his Ph.D. at UC Berkeley, 2009. His research interests are in logic, set theory, and foundations: descriptive set theory, inner model theory, large cardinals, and forcing.
Arthur W. Apter
The City University of New York
Distinguished professor Arthur W. Apter received his B.S. and Ph.D. degrees, both in mathematics, from MIT in 1975 and 1978, respectively. He is a mathematical logician, with a specialization in set theory, specifically large cardinals, forcing, and indestructibility, and he maintains a burgeoning interest in inner model theory, as well. Professor Apter has published well over 100 research articles.
Elena Nogina
The City University of New York
Dr. Elena Y. Nogina has authored more than sixty papers in mathematical logic and computability theory. She was a tenured professor for many years at Moscow University. She also held a research position at the Computing Center of the USSR Academy of Sciences, as well as visiting professorships at the University of Montpellier, France, and at the University of Amsterdam, the Netherlands. Since moving to the United States, Dr. Nogina has been teaching mathematics at CUNY, first at Lehman College and then at BMCC. Her current research interests include modal logics of provability and proofs, and their applications in the mathematical theory of knowledge and game theory. Since her appointment to BMCC in 2004, Dr. Nogina has been the recipient of research grants from different agencies, including the National Science Foundation. She was recently a visiting scholar at the University of Bern, Switzerland, and Cornell University.
Kerry Ojakian
Bronx Community College
Kerry Ojakian is a professor of mathematics at the City University of New York (Bronx Community College). He conducts research in logic and combinatorics.
Miha Habič
The CUNY Graduate Center
Miha Habič is a graduate student at the CUNY GC. He got his Masters Degree in Mathematics at the University of Ljubljana, Slovenia. His interests lie in the area of infinitary computability, forcing and large cardinals.
Philipp Rothmaler
The City University of New York
Philipp Rothmaler is a professor of mathematics at the CUNY Graduate Center and at Bronx Community College, working in mathematical logic and especially model theory. He is the author of the highly regarded book, Introduction to Model Theory.
Kaethe Minden
The CUNY Graduate Center
Kaethe Minden is currently a graduate student in the Ph.D. program in mathematics at the CUNY Graduate Center, studying set theory under the supervision of Gunter Fuchs.
Shoshana Friedman
Kingsborough Community College, CUNY
Professor Friedman earned her Ph.D. at the CUNY Graduate Center in 2010 under the supervision of Arthur W. Apter, and now holds a faculty position at Kingsborough CC of CUNY and is active in the logic seminars at the Graduate Center. She conducts research in forcing and large cardinals, with a particular emphasis on aspects of definability.
Sergei Artemov
The CUNY Graduate Center
Professor Artemov holds a Distinguished Professor position at the Graduate Center of the City University of New York, in the Computer Science, Mathematics and Philosophy programs. He is also Professor of Mathematics at Moscow State University, the founder and the Head of the research laboratory Logical Problems in Computer Science. He conducts research in the areas of logic in computer science, mathematical logic and proof theory, knowledge representation and artificial intelligence, automated deduction and verification and optimal control and hybrid systems.
Haim Gaifman
Columbia University
Professor Gaifman’s first result (obtained when he was a math student) was the equivalence of context-free grammars and categorial grammars. He was Carnap’s research assistant, working on the foundations of probability theory, and got his Ph. D. under Tarski (on infinite Boolean algebras). He worked on a broad spectrum of subjects: in mathematical logic (mostly set theory, where he invented the technique of iterated ultrapowers, and models of Peano’s arithmetic), foundations of probability (where he defined probabilities on first-order and on richer languages), in philosophy of language and philosophy of mathematics, as well as in theoretical computer science.. He held various permanent and visiting positions in mathematics, philosophy and computer science departments. While he was professor of mathematics at the Hebrew University, he taught courses in philosophy and directed the program in History and Philosophy of Science. Gaifman’s recent interests include foundations of probability, rational choice, philosophy of mathematics, logical systems that formalize aspects of natural reasoning, Frege and theories of naming.