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.
HSE International Laboratory for Intelligent Systems and Structural Analysis.
IEEE Computer Security Foundations Symposium.
ACM/IEEE Symposium on Logic in Computer Science.
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).
Workshop on Foundations of Computer Security 2016 (FCS 2016).
The 13th International Conference on Concept Lattices and Their Applications (CLA 2016).
The 21st Conference on Formal Grammar.
14th International Conference on Formal Modelling and Analysis of Timed Systems (Formats 2016).
5th Conference Logic and Applications 2016 (LAP 2016).
Dale Fest!60th.
4th International Conference on Tools and Methods of Program Analysis, TMPA-2017.


Web pages of interest


Andre Scedrov