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.


Summer 2024 Session II: MATH 2400-920 Calculus III Online. Canvas Page .
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.
Zagreb Logic Conference 2024 (ZLC 24).
The 15th International Workshop on Rewriting Logic and its Applications (WRLA 2024).
European joint conferences on theory and practice of software (ETAPS 2024).
2nd Joint Meeting of the Unione Matematica Italiana (UMI) and the American Mathematical Society (AMS).. Special Session on Proof Theory and Theoretical Computer Science..
13th Conference on Logic and Applications 2024 (LAP 2024).
11th International Conference on Information Systems Security and Privacy (ICISSP 2025).


Web pages of interest


Andre Scedrov