Andre Scedrov received his Ph.D. in Mathematics in 1981 at the State University of New York at Buffalo. He is a Professor of Mathematics and a Professor of Computer and Information Science at the University of Pennsylvania. His contributions are in logic, programming language semantics, and most recently, in information assurance. He has written over 90 research articles and several books. Prof. Scedrov has led two projects under the Critical Infrastructure Protection and High Confidence, Adaptable Software University Research Initiative.