Research

• Computer Science for Oregon
• High-Assurance Systems Programming (HASP)
• Relativistic Programming (RP)
• Programatica
• Abstraction Carrying Code