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 CSC 355 Database Systems Section 501 Class number: 23298 View syllabus Section 530 Class number: 23080 View syllabus CSC 347 Concepts of Programming Languages Section 502 Class number: 25883 View syllabus Section 511 Class number: 25884 View syllabus Courses Taught at DePaul CSC 347 Concepts of Programming Languages CSC 355 Database Systems CSC 435 Distributed Systems I Course Evaluations CSC 435 - 702Distributed Systems IFall 24-25 CSC 435 - 711Distributed Systems IFall 24-25