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.
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).
Dale Fest!60th.
4th International Conference on Tools and Methods of Program Analysis, TMPA-2017.
6th Conference Logic and Applications 2017 (LAP 2017).


Web pages of interest


Andre Scedrov