The primary (?) author of this site (Andrej Bauer) is a professor at the University of Ljubljana. I'm currently in his Principles of Programming Languages cours

The primary (?) author of this site (Andrej Bauer) is a professor at the University of Ljubljana. I'm currently in his Principles of Programming Languages course and I have to say, it is the one and only "theoretical" CS subject that I've really enjoyed! Old recordings of his other classes are also the only thing that helped me actually understand proofs of program correctness last semester. Seriously, I went through all our lectures and basic materials twice and still didn't get it. Then someone sent me one of his recordings and in 30 minutes, it all just clicked for me. Ended up getting 100% on that part of the exam, where before I wasn't sure I'd even pass.