Andre Scedrov

Chair of the Mathematics Department
Professor of Mathematics
Professor of Computer and Information Science
University of Pennsylvania

Department of Mathematics
University of Pennsylvania
209 South 33rd Street
Philadelphia, PA 19104-6395 U.S.A.


Photo by Bonnie Hoke-Scedrov.


LGIC: Undergraduate Program in Logic, Information, and Computation
Selected Courses from Previous Years


Interests: logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, formal methods, formal grammar, logical aspects of linguistic structure.

List of Andre Scedrov's selected publications.
Penn Logic and Computation Group.
HSE International Laboratory for Intelligent Systems and Structural Analysis.
8th Conference Logic and Applications 2019 (LAP 2019).
Symposium on Logical Foundations Of Computer Science (LFCS 2020).
Tenth International Joint Conference on Automated Reasoning (IJCAR 2020).
Mal'tsev Meeting 2020.
Logical Perspectives 2021.
34th IEEE Computer Security Foundations Symposium (CSF 2021).


Web pages of interest


Andre Scedrov