Andre Scedrov
Professor of
Mathematics
Professor of
Computer and Information Science
University of Pennsylvania
Photo by Nikola Ščedrov.
Honors
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman,
Stepan Kuznetsov, Boon Thau Loo, and Mitsuhiro Okada, eds.,
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the
Occasion of His 65th Birthday.
Festschrift, Springer LNCS Volume 12300,
Springer-Verlag, 2020, x + 203 pp.
Teaching
Spring 2024. MATH 3410 / LGIC 2200 :
Discrete Mathematics II.
Spring 2024. MATH 5710 / LGIC 3200 / PHIL 4722 / PHIL 6722:
Logic and Computability 2: Introduction to Category Theory and Type
Theory.
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, formal grammar, logical aspects of
linguistic structure.
List of
Andre Scedrov's selected publications.
Zagreb Logic Conference 2024 (ZLC 24).
10th International Conference on Information Systems Security and Privacy
(ICISSP 2024).
The 15th International Workshop on Rewriting Logic and its Applications
(WRLA 2024).
European joint conferences on theory and practice of software
(ETAPS 2024).
2nd Joint Meeting of the Unione Matematica Italiana (UMI) and the American
Mathematical Society (AMS)..
Conference on Logic and Applications (LAP).
Other
Web pages of interest
___________________________________________________
Andre Scedrov