# Andre Scedrov

#### Professor of Mathematics and

Computer and Information Science (CIS)

**Honors and Awards:** Japan Society for the Promotion of Science Senior Fellow - 1997, American Mathematical Society Centennial Research Fellow - 1993

**Research Expertise: **Security and Information Assurance | Logic and Computation

Andre's research interests include logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, and formal methods.

- Subexponentials in non-commutative linear logic, KANOVICH, M. | KUZNETSOV, S. | NIGAM, V. | SCEDROV, A., Mathematical Structures in Computer Science, 2018
- Preface, Scedrov, A. | Zakharov, V. | Itsykson, V., Communications in Computer and Information Science, 2018
- A Logical Framework with Commutative and Non-commutative Subexponentials, Kanovich, M. | Kuznetsov, S. | Nigam, V. | Scedrov, A., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018
- Bracket induction for Lambek calculus with bracket modalities, Morrill, G. | Kuznetsov, S. | Kanovich, M. | Scedrov, A., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018
- A polynomial-Time algorithm for the lambek calculus with brackets of bounded order, Kanovich, M. | Kuznetsov, S. | Morrill, G. | Scedrov, A., Leibniz International Proceedings in Informatics, LIPIcs, 2017