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

Fall 2021. MATH 340 / LGIC 210 : Discrete Mathematics I.

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.
Logical Perspectives 2021.
Workshop on Foundations of Computer Security (FCS 2021).
34th IEEE Computer Security Foundations Symposium (CSF 2021).
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021).
Structure meets Power Workshop 2021.
36th ACM/IEEE Annual Symposium on Logic and Computer Science (LICS 2021).
Portuguese Mathematical Society National Meeting -- Encontro Nacional SPM (ENSPM 2021).
30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021).
10th Conference on Logic and Applications 2021 (LAP 2021).
Mal'tsev Meeting 2021.
8th International Conference on Information Systems Security and Privacy (ICISSP 2022).

Other

Web pages of interest

___________________________________________________

Andre Scedrov