Formal Methods Foundation

Details

Class Times & Location

Thursday 2:00-5:00pm; 202 of Sixian Building

People

• Hua, Baojian; bjhua - ustc.edu.cn
• Guo, Kailei; gkl25552 - mail.ustc.edu.cn
• Zhao, Di; zhaodi01 - mail.ustc.edu.cn

Office Hour

After every class. Send us email in advance to appoint, if you would like to meet.

Homework Policy

Homeworks (including the programming assignments and projects) should be attempted individually. If you have any difficulty in solving these problems, you may discuss with your classmates, the instructor or the TAs etc., but final submitted work should be your own.

Late homeworks will NOT be accepted, for whatever reason.

Evaluation Policy

• 40% homeworks
• 20% middle test I
• 20% middle test II
• 20% final test