CS 2120

You will not learn discrete math in his class. He teaches the entire thing through a language called Lean, which is neat except the class is called Discrete Math and not Intro to Lean. He doesn't respond to emails promptly and is super confusing about what the actual course schedule/grading breakdown is like. He didn't grade any assignments the entire semester. There was 1 midterm and a final, but those are more "guidelines" than grading breakdowns. If you show that you understood enough, he'll just give you an A as your course grade. If you bomb the midterm and never come to class, it's possible to still do well on the final and get an A. He supposedly also had a "pre-final", where you talk to him for 15 minutes in office hours and then he'd just give you an A if you seemed like you knew what you were doing?

Overall, take his class if you want an A, don't take it if you want to learn.