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 2022. MATH 3400 / LGIC 2100 : Discrete Mathematics I.
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.
Nerode-90 Conference.
11th International Joint Conference on Automated Reasoning IJCAR 2022.
Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2022).
GuttmanFest2022.
Federated Logic Conference (FLoC 2022).
19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022).
Computational Logic Autumn Summit - CLAS 2022.
9th International Conference on Information Systems Security and Privacy (ICISSP 2023).
29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023).
Annual Conference on Logic and Applications (LAP).


Other

Web pages of interest

___________________________________________________

Andre Scedrov