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

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.

List of Andre Scedrov's selected publications.
Science of Cyber Security: Modeling, Composition, and Measurement .
Penn Logic and Computation Group.
IEEE Computer Security Foundations Symposium.
ACM/IEEE Symposium on Logic in Computer Science.
IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC 2015).
4th Conference on Principles of Security and Trust (POST 2015).
The 10th International Computer Science Symposium in Russia.
4th Conference Logic and Applications 2015 (LAP 2015).
NII Shonan Meeting on Logic and Verification Methods in Security and Privacy.
Problems in Theoretical Computer Science, Joint Conference of Computer Science Faculty of HSE Moscow and Laboratory of Mathematical Logic PDMI St. Petersburg.
Symposium on Logical Foundations Of Computer Science (LFCS 2016).
Fourth International Workshop on Linearity (Linearity 2016).


Other

Web pages of interest

___________________________________________________

Andre Scedrov