Andre Scedrov

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 Ščedrov.


Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, and Mitsuhiro Okada, eds., Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Festschrift, Springer LNCS Volume 12300, Springer-Verlag, 2020, x + 203 pp.


Fall 2022. MATH 3400 / LGIC 2100 : Discrete Mathematics I.
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.
Nerode-90 Conference.
38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022).
11th International Joint Conference on Automated Reasoning IJCAR 2022.
Federated Logic Conference (FLoC 2022).
28th Workshop on Logic, Language, Information and Computation (WoLLIC 2022).
11th Conference on Logic and Applications (LAP 2022).
9th International Conference on Information Systems Security and Privacy (ICISSP 2023).


Web pages of interest


Andre Scedrov