Michaël Cadilhac Assistant Professor // Theory School of Computing Email: michael.cadilhac@depaul.edu Office:CDM 834 Phone: (312) 362-5084 (312) 362-5084 Advising and Office Hours: Office hours are posted on D2L. Schedule Advising Appointments through OneDePaul. Bio and Research Information Not available Research Area Theory Schedule for Spring 2023-2024 CSC 374 Computer Systems II Section 601 Class number: 32814 View syllabus Section 610 Class number: 32737 View syllabus CSC 389 Theory of Computation Section 901 Class number: 32965 View syllabus Section 910 Class number: 32967 View syllabus CSC 489 Theory of Computation Section 901 Class number: 32966 View syllabus Section 910 Class number: 32968 View syllabus Courses Taught at DePaul CSC 301 Data Structures II CSC 344 Automata Theory and Formal Grammars CSC 373 Computer Systems I CSC 374 Computer Systems II CSC 389 Theory of Computation CSC 402 Data Structures I CSC 406 Systems I CSC 407 Systems II CSC 444 Automata Theory and Formal Grammars CSC 489 Theory of Computation CSC 599 Independent Study Course Evaluations CSC 374 - 401Computer Systems IIFall 23-24 CSC 374 - 410Computer Systems IIFall 23-24 CSC 406 - 701Systems IFall 23-24 CSC 406 - 710Systems IFall 23-24 CSC 344 - 640Automata Theory and Formal GrammarsSpring 22-23 CSC 344 - 610Automata Theory and Formal GrammarsSpring 22-23 CSC 389 - 901Theory of ComputationSpring 22-23 CSC 389 - 910Theory of ComputationSpring 22-23 CSC 489 - 910Theory of ComputationSpring 22-23 CSC 444 - 640Automata Theory and Formal GrammarsSpring 22-23 CSC 444 - 610Automata Theory and Formal GrammarsSpring 22-23 CSC 407 - 910Systems IISpring 21-22 CSC 407 - 901Systems IISpring 21-22 CSC 344 - 640Automata Theory and Formal GrammarsSpring 21-22 CSC 344 - 610Automata Theory and Formal GrammarsSpring 21-22 CSC 374 - 501Computer Systems IIWinter 21-22 CSC 374 - 510Computer Systems IIWinter 21-22 CSC 407 - 801Systems IIWinter 21-22 CSC 407 - 810Systems IIWinter 21-22 CSC 402 - 701Data Structures IFall 21-22 CSC 407 - 701Systems IIFall 21-22 CSC 402 - 710Data Structures IFall 21-22 CSC 407 - 710Systems IIFall 21-22 CSC 407 - 820Systems IIWinter 20-21 CSC 374 - 520Computer Systems IIWinter 20-21 CSC 407 - 720Systems IIFall 20-21 CSC 374 - 420Computer Systems IIFall 20-21 CSC 344 - 601Automata Theory and Formal GrammarsSpring 19-20 CSC 344 - 610Automata Theory and Formal GrammarsSpring 19-20 CSC 389 - 910Theory of ComputationSpring 19-20 CSC 489 - 910Theory of ComputationSpring 19-20 CSC 373 - 502Computer Systems IWinter 19-20 CSC 373 - 511Computer Systems IWinter 19-20 CSC 301 - 401Data Structures IIFall 19-20 CSC 301 - 402Data Structures IIFall 19-20 CSC 301 - 410Data Structures IIFall 19-20 CSC 301 - 411Data Structures IIFall 19-20