Leila Amrani

Programming Languages & Paradigms steps back from any single language to compare how different paradigms — functional, logic, and concurrent — shape the way a problem gets solved. Students implement a small interpreter to see language design decisions from the inside.

Special Topics in Computing changes focus each year to cover an emerging area not yet established enough for its own permanent course. The current offering focuses on program synthesis: techniques for generating correct programs from specifications and examples. Enrollment requires departmental approval based on background in CSC301 and CSC308.