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 2025-2026 CSC 355 Database Systems Section 402 Class number: 12864 View syllabus Section 431 Class number: 13113 View syllabus Courses Taught at DePaul CSC 347 Concepts of Programming Languages CSC 355 Database Systems CSC 435 Distributed Systems I Course Evaluations CSC 355 - 530Database SystemsWinter 24-25 CSC 355 - 501Database SystemsWinter 24-25 CSC 347 - 502Concepts of Programming LanguagesWinter 24-25 CSC 347 - 511Concepts of Programming LanguagesWinter 24-25 CSC 435 - 702Distributed Systems IFall 24-25 CSC 435 - 711Distributed Systems IFall 24-25