Comment by gpm

I've done this course. It's interesting and makes you think, would recommend if that's what you're looking for.

While not my area of expertise, I don't this course is particularly relevant to any practical modern formal methods unless you want to reinvent the world.