it is very hard if you have less basic knowsledge about the topic
FromDan's Comp electives
Very interesting if you're interested in software verification, course is run by NICTA researchers.
Star Issue
Email: [email protected] WeChat: daya0576 Blog: https://changchen.me/