Paris provides the backdrop for professor Zena Ariola’s one-year sabbatical on research in computer and information science.
Ariola is spending the 2012-13 academic year at the French institute INRIA, where she will work with a group that is advancing research in the area of computer programming languages.
Ariola studies term rewriting systems and lambda-calculus logic. She is the founder of the Oregon Programming Languages Summer School, held annually in Eugene, and taught by internationally recognized researchers in programming languages and formal reasoning.
In Paris, she will work with a team to establish a foundation for versatile program languages that can serve a number of purposes. The work will enhance the understanding of how to design languages with effects and with multiple evaluation strategies which cooperate in an unbiased way, the CIS Department said.
- from UO Computer and Information Science