The Hebrew University Logo
Syllabus Formal Verification of Machine Learning Systems - 67860
עברית
Print
 
PDF version
Last update 10-09-2023
HU Credits: 5

Degree/Cycle: 2nd degree (Master)

Responsible Department: Computer Sciences

Semester: 1st and/or 2nd Semester

Teaching Languages: English and Hebrew

Campus: E. Safra

Course/Module Coordinator: Guy Katz

Coordinator Email: guykatz@cs.huji.ac.il

Coordinator Office Hours:

Teaching Staff:
Prof Katz Guy

Course/Module description:
Performing a project on a topic in the field. The project will include programming.

Course/Module aims:
To expose students to an advanced research topics in the field

Learning outcomes - On successful completion of this module, students should be able to:
Better understand the field as a possible research area

Attendance requirements(%):

Teaching arrangement and method of instruction:

Course/Module Content:
Determined individually


Required Reading:
-

Additional Reading Material:

Grading Scheme :
Essay / Project / Final Assignment / Home Exam / Referat 100 %

Additional information:
 
Students needing academic accommodations based on a disability should contact the Center for Diagnosis and Support of Students with Learning Disabilities, or the Office for Students with Disabilities, as early as possible, to discuss and coordinate accommodations, based on relevant documentation.
For further information, please visit the site of the Dean of Students Office.
Print