The only prerequisites are basic discrete math (first-order logic, sets, etc.) and computer systems (C, memory management, threading) knowledge.