Department of Mathematics
University of Pennsylvania
209 South 33rd Street
Philadelphia, PA 19104-6395 U.S.A.
Photo by Nikola Scedrov.
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).
4th International Conference on Tools and Methods of Program Analysis, TMPA-2017.
6th Conference Logic and Applications 2017 (LAP 2017).