Usually offered in even years. Staff COSI 240a Computational Logic Signature of the instructor required. An introduction to logic in computer science. Usually offered in even years. Mr. Mairson COSI 255a Advanced Topics in Programming Languages Signature of the instructor required.
Topics vary from year to year.
Usually offered every year. Mr. Cohen COSI 285a Advanced Topics in Algorithms and Computational Complexity Content of course varies from year to year. Usually offered in even years. Mr. Storer COSI 300a and b Master's Project Offered every year. Staff COSI 310a Seminar in Artificial Intelligence Topics vary year to year.