Skip to content

CAREER: Type Systems for Secure Code Migration (GRA-1060)

CAREER: Type Systems for Secure Code Migration is a documented award listed in the DePaul Resource Map (2004–2010). Funder: National Science Foundation (NSF). CAREER: Type Systems for Secure Code Migration; PI James Riely; 2004–2010; https://www.nsf.gov/awardsearch/showAward?AWD_ID=347542

Summary ~

  • Sponsor / funder: National Science Foundation (NSF)
  • Program: Not specified
  • Status: completed
  • Period: 2004 – 2010
  • Lead unit: Not specified

Access (availability): 🟢 Green — open or routine · 🟡 Yellow — appointment or affiliation · 🔴 Red — restricted · ⚪/⚫ White/Black — not yet classified

Verification: ✓ confirmed · ~ likely · ? needs review · ✕ archived

Award details

  • Award type: research grant

CAREER: Type Systems for Secure Code Migration; PI James Riely; 2004–2010; https://www.nsf.gov/awardsearch/showAward?AWD_ID=347542

People

  • James Riely (PI)

None documented.

No related outputs documented yet.

No related publications documented yet.

Verification

  • Status: ~ Likely current
  • Notes: Derived from institutional award records.

Sources

Notes

Award metadata compiled from published DePaul research reporting. Listing here records documented activity; it is not an evaluation of the award, the people, or the unit.