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 Spring 2024-2025 CSC 347 Concepts of Programming Languages Section 601 Class number: 33410 View syllabus Section 610 Class number: 33411 View syllabus CSC 355 Database Systems Section 602 Class number: 33417 View syllabus Section 631 Class number: 33127 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