Bio and Research Information

James Riely studies programming language semantics, with applications to type systems and software security. He received a NSF CAREER award in 2004, and has since been PI or co-PI on several NSF grants.

Professor Riely holds a PhD in Computer Science from the University of North Carolina at Chapel Hill, an MS in Computer Science from the University of California at Santa Barbara and a BS in Electrical Engineering from Northwestern University. He joined DePaul University's Foundations of Programming Languages group in 1999. Prior to that, he held postdoc positions at North Carolina State University and the University of Sussex and engineer positions at IBM and E-Systems (now Raytheon).