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 Bonnie Hoke-Scedrov. Mal'tsev Meeting 2018.


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 2022. MATH 341 / LGIC 220 : Discrete Mathematics II.
LGIC: 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.
International Workshop Logic Matters (LM-2021).
Symposium on Logical Foundations of Computer Science (LFCS 2022).
CIRM Luminy Thematic Month 2022 on Logic and Applications.
8th International Conference on Information Systems Security and Privacy (ICISSP 2022).
Federated Logic Conference (FLoC 2022).
28th Workshop on Logic, Language, Information and Computation (WoLLIC 2022).
Annual Conference on Logic and Applications (LAP).


Other

Web pages of interest

___________________________________________________

Andre Scedrov