Communications of the ACM
Johann Receives National Science Foundation Grant For Computer Science Research
The U.S. National Science Foundation is supporting Appalachian State University professor Patricia Johann's work on relational parametricity with a grant.
Credit: Appalachian State University News
The U.S. National Science Foundation has awarded a grant to Appalachian State University computer science professor Patricia Johann to support her research in relational parametricity.
Johann is considered a world expert on relational parametricity, and the three-year award will enable her to continue her research in collaboration with researchers from Glasgow, Edinburgh, and Copenhagen.
Computers scientists use relational parametricity to prove computer programs are correct, or do what they are intended to do, Johann says. Her approach to relational parametricity is based on the categorical semantics of programming languages, and focuses on what the constructs of programming languages mean, not on how they are written.
"Relational parametricity is a way to express that the behavior of programs is uniform--that programs work in the same way on all their arguments, regardless of the types of those arguments," she says. "This uniformity allows us to deduce various important properties of our programs that can be useful both theoretically and practically. For example, relational parametricity is a key technique for proving that programs are correct, i.e., that programs do what they are intended to do."
From Appalachian State University News
View Full Article
Abstracts Copyright © 2014 Information Inc., Bethesda, Maryland, USA
No entries found