Andre Scedrov

Department of Mathematics University of Pennsylvania 209 South 33rd Street Philadelphia, PA 19104-6395 U.S.A. Contacts

Photo by Nikola Scedrov.

Teaching

Research

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.
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.
Dale Fest!60th.
4th International Conference on Tools and Methods of Program Analysis, TMPA-2017.
Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017).
21st International Symposium on Fundamentals of Computation Theory (FCT 2017).
6th Conference Logic and Applications 2017 (LAP 2017).
Wormshop 2017 - Workshop on Proof Theory, Modal Logic and Reflection Principles.
Symposium on Logical Foundations Of Computer Science (LFCS 2018).
NII Shonan Meeting "Intensional and extensional aspects of computation: From computability and complexity to program analysis and security".

Other

___________________________________________________