[Announcement] Questions for questions

[KihongHeo]

From this semester, I like to participate in the QAIST movement as follows:

• Students are encouraged to submit candidate questions and their solutions for our final exam. (via email to me)
• I will select creative and crazy questions. If selected, your letter grade will be increased by one level (e.g., B0 -> B+, B+ -> A-).
• The variants of the selected questions may be included on exams.

Examples:

• design of new abstract domains and semantics for some important software properties
• new applications of abstract interpretation (e.g., abstract interpretation for protein behaviors)
• etc

Due: Nov 30

Hope to see your crazy idea.

[KihongHeo]

See the update.