Blog Archives

Topic Archive: CUNY

Karel Hrbacek
City College of New York, CUNY
Professor Hrbacek undertakes research in the area of mathematical logic, particularly in set theory, with a focus on non-standard analysis and nonstandard set theory. He wrote in co-authorship with Thomas Jech the highly regarded book Introduction to Set Theory.
Antonis Achilleos
Graduate Center CUNY
Alice Medvedev
City College -- CUNY
Prof. Medvedev is a model theorist, teaching at City College in the CUNY system. She received her doctorate from the University of California-Berkeley, under the supervision of Tom Scanlon, and subsequently held postdoctoral positions at Berkeley and at the University of Illinois-Chicago.
Dustin Mulcahey
Dustin Mulcahey earned his Ph.D. from the CUNY Graduate Center in 2012.  He does research in the area of category theory, with a related interest in Haskell, and more recently, has organized the Homotopy Type Theory Reading Group.
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.
Alexander Rapp
The CUNY Graduate Center
Alexander Rapp is currently a graduate student in the Ph.D. program 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.
Roman Kossak
The City University of New York
Roman Kossak is professor of mathematics at The City University of New York, at Bronx Community College and also at the CUNY Graduate Center. He conducts research in mathematical logic, especially in model theory of Peano Arithmetic.
Alf Dolich
The City University of New York
Professor Dolich (Ph.D. 2002 University of Maryland, M.A. Columbia University, B.A. University of Pennsylvania) held a VIGRE Van Vleck Assistant Professorship at the University of Wisconsin, Madison, before coming to the New York area, where he now holds an Assistant Professor position at Kingsborough CC of CUNY. Professor Dolich conducts research in model theory, simple theories, and o-minimal theories with secondary interests in algebraic geometry and set theory.
Thomas Johnstone
The New York City College of Technology (CityTech), CUNY
Thomas Johnstone is a professor of mathematics at the New York City College of Technology (City Tech), CUNY. His research in Set Theory includes large cardinals, forcing, and indestructibility.
Victoria Gitman
The City University of New York
Victoria Gitman received her Ph.D. in 2007 from the CUNY Graduate Center, as a student of Joel Hamkins, and is presently a visiting scholar at the CUNY Graduate Center. Her research is in Mathematical Logic, in particular in the areas of Set Theory and Models of Peano Arithmetic.
Erin Carmody
The CUNY Graduate Center
Erin Carmody is a visiting assistant professor at Nebraska Wesleyan University. Her research is in the field of set theory. She received her doctorate in 2015 under the supervision of Joel David Hamkins.
Russell Miller
City University of New York
Russell Miller is professor of mathematics at Queens College of CUNY and also at the CUNY Graduate Center.  He conducts research in mathematical logic, especially computability theory and its interaction with other areas of mathematics, as in computable model theory. He received his doctorate from the University of Chicago in 2000, as a student of Robert Soare, and subsequently held a postdoctoral position at Cornell University until 2003, when he came to CUNY.