Andre Scedrov

Andre Scedrov is a Professor of Mathematics at the University of Pennsylvania, affiliated with the Department of Mathematics. His research interests include Logic, Information Assurance, and Formal Grammars. He can be contacted via email at scedrov@math.upenn.edu or through his website at https://www.math.upenn.edu/people/andre-scedrov. His profile page lists his research areas and contact information, but no additional details about his academic background or specific achievements are provided.

Andre Scedrov is a Professor of Mathematics and Computer and Information Science at the University of Pennsylvania, known for his contributions to logic, cybersecurity, formal methods, and the logical aspects of linguistic structure. His research explores the intersection of logic and computer science, particularly in the development of formal frameworks for analyzing security protocols, logical systems, and computational complexity. His work includes foundational studies in linear logic, bounded linear logic, and the application of formal methods to cybersecurity, such as protocol analysis and cryptographic protocol verification. Scedrov's publications often address the theoretical underpinnings of computational processes and their logical implications.