Courses

The listing of a course description here does not guarantee a course’s being offered in a particular term. Please refer to the published schedule of classes on the MyBU Student Portal for confirmation a class is actually being taught and for specific course meeting dates and times.

• CAS CL 791: Greek Seminar
  Extensive readings in Greek authors. Specific topics may change. Topic for Fall 2024: TBD. Topic for Fall 2025: Aristophanes.
• CAS CL 947: Directed Study in Ancient Greek and Latin History
  Directed study in a topic in ancient Greek and/or Latin history.
• CAS CL 948: Directed Study in Ancient Greek and Latin History.
  Directed study in a topic in ancient Greek and/or Latin history.
• CAS CL 957: Directed Study in Latin
  Directed study in a topic in Latin.
• CAS CL 958: Directed Study in Latin
  Directed study in a topic in Latin.
• CAS CL 967: Directed Study in Ancient Greek.
  Directed study in a topic in ancient Greek.
• CAS CL 968: Directed Study in Ancient Greek
  Directed study in a topic in ancient Greek.
• CAS CL 981: Certificate Full-Time Study
  Certificate full-time study.
• CAS CL 983: Continued Study Part-Time
  Continued study part-time.
• CAS CL 985: Continued Study Full-Time
  Continued study certificate.
• CAS CL 991: Directed Study in Classical Studies
  Directed study in a topic in classical studies.
• CAS CL 992: Directed Study in Classical Studies
  Directed study in a topic in classical studies.
• CAS CL 993: Graduate Pro-Seminar
  Introduction to various aspects of research, teaching, and professional development. Topics include, but are not limited to: library resources, conference submissions, article publication, digital resources, teaching, and job search.
• CAS CL 994: Graduate Pro-Seminar
  Introduction to various aspects of research, teaching, and professional development. Topics include, but are not limited to: library resources, conference submissions, article publication, digital resources, teaching, and job search.
• CAS CS 501: Computer Science Practicum
  Various applications of computer science that vary semester to semester. Please contact the CAS Computer Science Department for detailed descriptions.
• CAS CS 505: Introduction to Natural Language Processing
  Undergraduate Prerequisites: (CASCS365) - Natural language processing (NLP) is a field of AI which aims to equip computers with the ability to intelligently process natural (human) language. This course explores statistical and machine learning techniques for the automatic analysis of natural language data.
• CAS CS 506: Data Science Tools and Applications
  Undergraduate Prerequisites: CAS CS 108 or CAS CS 111; CAS CS 132 or CAS MA 242 or CAS MA 442. CAS CS 112 is recommended. - Covers practical skills in working with data and introduces a wide range of techniques that are commonly used in the analysis of data, such as clustering, classification, regression, and network analysis. Emphasizes hands-on application of methods via programming. Effective Fall 2019, this course fulfills a single unit in each of the following BU Hub areas: Research and Information Literacy, Teamwork/Collaboration.
  BU Hub Learn More

  • Research and Information Literacy
  • Teamwork/Collaboration
• CAS CS 511: Formal Methods 1
  Undergraduate Prerequisites: (CASCS320 OR CASCS330 OR CASCS350) - Introduction to formal specification, analysis, and verification of computer system behavior. Topics include formal logical reasoning about computer programs and systems, automated and semi-automated verification, and algorithmic methodologies for ascertaining that a software system satisfies its formally specified properties. Cannot be taken for credit in addition to the course with the same number formerly entitled "Object-Oriented Software Principles."
• CAS CS 516: Software Foundations via Formal Languages
  Undergraduate Prerequisites: (CASCS320 & CASCS330) or equivalent courses approved by the instructor. - Study of the hierarchy of formal languages with a focus on algorithms on the formalisms. Experimentation with these algorithms using a computer toolset. Applications of these algorithms to compiler construction, implementation of finite-state control devices, and formal methods.
• CAS CS 518: Formal Tools for Software Validation
  Graduate Prerequisites: Bachelor's degree in computer science OR Bachelor's degree in computer engineering OR consent of instructor, AND working familiarity with at least one modern programming language. - Introduces various methodologies for formal specification, testing and verification, to understand and eliminate bugs undermining system security. Two general methodologies are considered: dynamic methodologies using property-based testing and symbolic execution, and static methodologies involving program-based formal verification techniques.