GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Programming Languages and Formal Methods

Programming Languages and Formal Methods

1 faculty research Programming Languages and Formal Methods on GradNova.

C
Colin Gordon

Associate Professor & Associate Department Head for Undergraduate Affairs, Computer Science

Computer Science

Drexel University

Computational Linguistics
Program Verification for Operating System Kernels
Programming Languages and Formal Methods
Type and Effect Systems
+5