Logic and Computation at Penn

Welcome to the Logic and Computation Group at the University of Pennsylvania!

There is a rich and diverse history of the application of logic to the field of computer science. The work of logicians such as Turing and Gödel has had a profound influence on information science as we know it today. This interface between mathematical / philosophical logic and new technologies is now a very active and productive field of research. It is playing a crucial role in the development of new programming languages and architectures and is central to the development of methods for specifying and verifying the correctness of hardware and software. The field is rapidly expanding and has touched virtually every area of the emerging information technology.

The Logic and Computation Group is an interdisciplinary research group composed of faculty and graduate students from the Departments of Computer and Information Science, Linguistics, Mathematics, and Philosophy. The director is Scott Weinstein.

The group meets weekly in the Logic and Computation Seminar (click to see schedules of talks and how to subscribe to the mailing list).

Members of the group participate in the Logic, Information, and Computation Program which offers undergraduate courses of study.

The Logic and Computation Group is closely connected with the Institute for Research in Cognitive Science, a Research Center at Penn devoted to the pursuit of an understanding of the human mind and to the development of new technologies.

Associated Projects:

Systems Design Research Lab at the University of Pennsylvania
Database Research at Penn
Real-Time Systems Group at the University of Pennsylvania
The SwitchWare Project

Faculty:

Rajeev Alur (CIS)
Robin Clark (Linguistics)
Peter Freyd (Mathematics)
Jean Gallier (CIS)
Sampath Kannan (CIS)
Insup Lee (CIS)
George Pappas (EE)
Benjamin Pierce (CIS)
Andre Scedrov (Mathematics)
Oleg Sokolsky (Research faculty)
Val Tannen (CIS)
Henry Towsner (Mathematics)
Scott Weinstein (Philosophy)
Stephanie Weirich (CIS)
Steve Zdancewic (CIS)


Logic and Computation Group
Department of Computer and Information Science
University of Pennsylvania
Philadelphia, PA 19104-6389

Logic and Computation Group
Department of Mathematics
University of Pennsylvania
Philadelphia, PA 19104-6395

Logic and Computation Group
Department of Philosophy
University of Pennsylvania
Philadelphia, PA 19104