Shapiro! I'm actually in Advanced Symbolic Logic (PHILOS 5500) this semester and he happens to be teaching it. Talk about Hacker News serendipity.
Tennant isn't my advisor, but I've taken a handful of classes with him, and his "holistic" (that's the best descriptor I can come up with atm) approach to teaching logic and philosophy of science makes everything fall into place in my head. His pleasant, informal teaching style combined with a skill for connecting big ideas across disciplines is seriously pedagogical magic.
And I'm currently a senior, hoping to wrap everything up by this summer. :)