Andre Scedrov

Chair of the Mathematics Department
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 Scedrov.


Teaching

Spring 2019. 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.
Penn Logic and Computation Group.
HSE International Laboratory for Intelligent Systems and Structural Analysis.
Symposium on Logical Foundations Of Computer Science (LFCS 2018).
NII Shonan Meeting "Intensional and extensional aspects of computation: From computability and complexity to program analysis and security".
Workshop on Lambek Calculus and Linear Logic, Keio University.
XI School in Economics, Mathematics, and Computer Science 'Baikal Readings'.
Workshop on Foundations of Computer Security (FCS 2018).
9th International Joint Conference on Automated Reasoning (IJCAR 2018).
Federated Logic Conference (FLoC 2018).
The 23rd Conference on Formal Grammar (FG 2018).
US - Serbia and West Balkan Data Science Workshop.
7th Conference Logic and Applications 2018 (LAP 2018).
FORMALS 2018: Formal Reasoning and Semantics.
CPS-SPC 2018: ACM Workshop on Cyber-Physical Systems Security & Privacy.
Mal'tsev Meeting 2018.


Other

Web pages of interest

___________________________________________________

Andre Scedrov