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 Winter 2024-2025 CSC 344 Automata Theory and Formal Grammars Section 501 Class number: 23294 View syllabus Section 510 Class number: 23296 View syllabus CSC 444 Automata Theory and Formal Grammars Section 501 Class number: 23295 View syllabus Section 510 Class number: 23297 View syllabus CSC 407 Systems II Section 801 Class number: 22634 View syllabus Section 841 Class number: 22635 View syllabus CSC 374 Computer Systems II Section 802 Class number: 25851 View syllabus Section 841 Class number: 25852 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 - 610Computer Systems IISpring 23-24 CSC 374 - 601Computer Systems IISpring 23-24 CSC 389 - 910Theory of ComputationSpring 23-24 CSC 373 - 502Computer Systems IWinter 23-24 CSC 373 - 511Computer Systems IWinter 23-24 CSC 344 - 501Automata Theory and Formal GrammarsWinter 23-24 CSC 344 - 510Automata Theory and Formal GrammarsWinter 23-24 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