Home
Short Bio
Contact
Conventions
Favorites
Curriculum Vitae (PDF)
Teaching
Past Semesters
Current Semester
Next Semester
Research
Overview
Help Wanted!
ACL2
Overview
ACL2(r)
Formalizations
WPW
SoD
WCS
Grid Computing
Publications
Presentations
Students
Software
Overview
EZ Faculty Search
Gradebook
UW CS Letterhead
SchoolLib
Fun with Orbits
Writing
Blog
Family Blog
Site Map
Home
Short Bio
Contact
Schedule
Conventions
Favorites
Curriculum Vitae (PDF)
Teaching
Past Semesters
Current Semester
Next Semester
Resources
Software
Research
Overview
Help Wanted!
ACL2
Overview
ACL2(r)
Formalizations
Wyoming Programmer's Workbench
Wyoming Cryptography School
Grid Computing
Publications
Presentations
Students
Writings
Blog
Family Blog