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.

Contacts

Photo by Nikola Ščedrov.

Honors

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.

Teaching

Fall 2024. MATH 3400 / LGIC 2100 : Discrete Mathematics I.

Fall 2024. MATH 6710: Topic in Logic: Category Theory, Categorical Logic, and Type Theory.

Undergraduate Program in Logic, Information, and Computation

Selected Courses from Previous Years

Research

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.
The 15th International Workshop on Rewriting Logic and its Applications (WRLA 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).
Zagreb Logic Conference 2025 (ZLC25).
11th International Conference on Information Systems Security and Privacy (ICISSP 2025).

Other

Web pages of interest

___________________________________________________

Andre Scedrov