THIS IS AN ARCHIVED VERSION OF CRA'S WEBSITE. THIS ARCHIVE IS AVAILABLE TO PROVIDE HISTORICAL CONTENT.
PLEASE VISIT HTTP://WWW.CRA.ORG FOR THE LATEST INFORMATION
| About CRA |
| Membership |
| CRA for Students |
| CRA for Faculty |
| CRA-Women |
| Computing Community Consortium (CCC) |
| Awards |
| Projects |
| Events |
| Jobs |
| Government Affairs |
| Computing Research Policy Blog |
| Publications |
| Data & Resources |
| CRA Bulletin |
| What's New |
| Contact |
| Home |
2002 Outstanding Female Undergraduate Award
Allegra Angus is a senior at Cornell University. She will receive
Bachelor's degrees in Computer Science and Mathematics in January 2002.
Allegra's research is in program logic and semantics. She has helped develop techniques that enable one to prove equivalence of program schemes by converting the schemes to algebraic expressions and then proving their equivalence by manipulating equations. She has co-authored a paper describing the technique, and is now building an automated equational verification tool that will be useful for a variety of verification tasks.
Allegra has had summer internships at Intel (twice) and Xerox (twice). She helped develop a non-programming introductory course in Computer Science at Cornell, and she performs with the Cornell symphony, chamber orchestra, and women's chorus.
Allegra holds an Intel Women in Science and Engineering Scholarship.
<< to 2002 Outstanding Undergraduate Awards home page
Copyright © 2007 Computing Research Association. All Rights Reserved. Questions? E-mail: webmaster@cra.org.