Having taken a class from Might in the Spring (not this one, but Programming Language Analysis), I can assure you that he is still very much interested in those

Having taken a class from Might in the Spring (not this one, but Programming Language Analysis), I can assure you that he is still very much interested in those topics. I can't really speak to this particular class, however.