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 Nikola Scedrov.


MATH 341 / LGIC 220 : Discrete Mathematics II
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.

List of Andre Scedrov's selected publications.
Penn Logic and Computation Group.
HSE International Laboratory for Intelligent Systems and Structural Analysis.
Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017).
21st International Symposium on Fundamentals of Computation Theory (FCT 2017).
6th Conference Logic and Applications 2017 (LAP 2017).
Wormshop 2017 - Workshop on Proof Theory, Modal Logic and Reflection Principles.
Mal'tsev Meeting 2017.
Symposium on Logical Foundations Of Computer Science (LFCS 2018).
NII Shonan Meeting "Intensional and extensional aspects of computation: From computability and complexity to program analysis and security".
Workshop on Lambek Calculus and Linear Logic, Keio University.
XI School in Economics, Mathematics, and Computer Science 'Baikal Readings'.
9th International Joint Conference on Automated Reasoning (IJCAR 2018).


Web pages of interest


Andre Scedrov