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

Spring 2024. MATH 3410 / LGIC 2200 : Discrete Mathematics II.
Spring 2024. MATH 5710 / LGIC 3200 / PHIL 4722 / PHIL 6722: Logic and Computability 2: Introduction to Category Theory 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.
Zagreb Logic Conference 2024 (ZLC 24).
10th International Conference on Information Systems Security and Privacy (ICISSP 2024).
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)..
Conference on Logic and Applications (LAP).


Other

Web pages of interest

___________________________________________________

Andre Scedrov