George Kuan Adjunct Faculty // Programming Languages, Formal Methods, Networking School of Computing Email: gkuan@depaul.edu Office:CDM Center 632A Phone: Advising and Office Hours: Office hours are posted on D2L. Bio and Research Information Not available Research Area Programming Languages, Formal Methods, Networking Specific Research Area Functional programming languages, higher-order type systems, program verification Schedule for Winter 2024-2025 Not available Courses Taught at DePaul CSC 435 Distributed Systems I Course Evaluations Not available