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.
Copyright © 2007 Computing Research Association. All Rights Reserved. Questions? E-mail: firstname.lastname@example.org.