Members
Sergei Artemov Dr.Sci., Moscow University; Distinguished Professor, The Graduate Center (Ph.D. Program in Computer Science, Mathematics and Philosophy); Logic; Automated Deduction and Verification; Optimal Control and Hybrid Systems.
Can Baskent Ph.D. Student in Computer Science, The Graduate Center of the City University of New York; MSc in Mathematical Logic, Institute for Logic, Language and Computation of University of Amsterdam; Epistemic logic, subset space logic, philosophical logic, applications of logic to political science.
Samir Chopra Ph.D., City University of New York; Assistant Professor, Brooklyn College. Logic in Computer Science; Knowledge Representation; Artificial Intelligence.
Melvin Fitting Ph.D., Yeshiva University; Professor, Lehman College and The Graduate Center (Ph.D. Program in Computer Science, Mathematics and Philosophy); Applications of logic to computer science; Artificial intelligence.
Konstantinos Georgatos Ph.D., City University of New York; Associate Professor, John Jay College and Graduate Center. Artificial Intelligence; Knowledge representation.
Matt Johnson Ph.D. Student in Computer Science, The Graduate Center of the City University of New York.
Loes Olde Loohuis Ph.D. Student in Computer Science, The Graduate Center of the City University of New York; MSc in Mathematical Logic, Institute for Logic, Language and Computation of University of Amsterdam.
Rohit Parikh Ph.D., Harvard University; Distinguished Professor, Brooklyn College and The Graduate Center (Ph.D. Program in Computer Science, Mathematics and Philosophy). Logic in Artificial Intelligence, Philosophical Logic.
Farishta Satari Ph.D. Student in Computer Science, The Graduate Center of the City University of New York; Bachelors in Computer Science, Queens College; A.S. in Computer Information Systems, Queensborough Community College; Applications of Logic, information transmission in multi-agent settings, decision theory, game theory, pragmatics; Professional software engineer specializing in J2EE technologies and dynamic entity resolution software development.
Chris Steinsvold Ph.D., City Universiy of New York. Topological semantics for modal logic
Previous Members
Eric Pacuit (Ph.D. in Computer Science, 2005, Supervisor: Rohit Parikh) Tilburg University
Samer Salame (Ph.D. in Philosophy, 2006, Supervisor: Rohit Parikh)
Bryan Renne (Ph.D. in Computer Science, 2008, Supervisor: Sergei Artemov) Groningen University
Walter Dean (Ph.D., Rutgers University; Ph.D. Student in Computer Science, The Graduate Center of the City University of New York, Supervisor: Sergei Artemov.) Warwick University.