About This Program
An NSF REU site at the University of Pennsylvania in programming languages, covering type theory and formal verification.
Program Details
- Field
- Computer Science
- Level
- Undergraduate
- Country
- United States
- State / Province
- PA
- Institution
- University of Pennsylvania
- Online Available
- In person
- Funding / Award
- Yes
- Women-Only Program
- Open to all; women encouraged
← Back to Programs