<p>Hilfinger usually teaches in the Fall, so you should be fine. You can check [CS</a> 2013-2014 Draft Schedule | EECS at UC Berkeley](<a href=“http://www.eecs.berkeley.edu/Scheduling/CS/schedule-draft.html]CS”>CS 2023-2024 Draft Schedule | EECS at UC Berkeley) to see which professors are teaching which classes for the Fall/Spring semester.</p>