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.


Photo by Nikola Scedrov.


LGIC: Undergraduate Program in Logic, Information, and Computation
Selected Courses from Previous Years


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.
The 10th International Computer Science Symposium in Russia.
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).
9th Winter School in Economics, Mathematics, and Computer Science 'Baikal Readings'.
Workshop on Computer Security, Logic, and Programming Languages In Honor of John Mitchell's 60th Birthday, Stanford University, May 19-20, 2016.
Fourth International Workshop on Linearity (Linearity 2016).
5th Conference Logic and Applications 2016 (LAP 2016).


Web pages of interest


Andre Scedrov