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 Fall 2024-2025 CSC 435 Distributed Systems I Section 702 Class number: 16535 View syllabus Section 711 Class number: 16537 View syllabus Courses Taught at DePaul CSC 435 Distributed Systems I Course Evaluations Not available