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.

Contacts

Photo by Nikola Scedrov.


Teaching

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


Research

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).
Workshop on Foundations of Computer Security 2016 (FCS 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).
4th International Conference on Tools and Methods of Program Analysis (TMPA 2016).


Other

Web pages of interest

___________________________________________________

Andre Scedrov