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

Summer 2024 Session I: MATH 1410 Calculus II Online. Canvas Page .

Summer 2024 Session II: MATH 2400 Calculus III Online.

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.
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).

Other

Web pages of interest

___________________________________________________

Andre Scedrov