Prof. Sullivan is so disorganized, it's unbelievable. The semester before mine, he apparently forgot to book the room in Nau hall for the final exam, so everyone had to sit outside on tables and across the floor while taking their final. I barely paid attention, half-did the homeworks, understood next to nothing, and didn't study for the final exam. I ended up with an A, so who am I to complain.

Oh where do I began. The weeks leading up to the class, we heard nothing from Sullivan. Wednesday was supposed to be our first day of class, and still not a single email from him. Eventually he emailed us, but he didn't end up posting a lecture until a month or so into the semester. Keep in mind the syllabus states we are supposed to have 2 midterms, 1 final, and 8-10 homeworks to comprise of our grade. We were waiting for our first final that was scheduled for Sep 25, but we still hadn't learned anything. Finally during round 2 of midterms he posted videos! We had our first midterm at the end of October. We also had 1 homework assignment at this point. Then November 6th he finally sent an email saying he would post new lectures, but he did not. We waited and waited, sending email after email. We genuinely were concerned for the wellbeing of Sullivan at this point since he hasn't responded to any of us. On the last day of classes on Tuesday at 4pm, he sends an email saying he will post new lectures that day and release a final exam on Friday (Thursday was Thanksgiving - we were pretty upset). At this point we should have seen this coming, but he of course did NOT post any lectures. We waited the whole week, and heard nothing. On Saturday, he sends an email saying he will post that day - and of course nothing. We finally got the first video on Wednesday of the second week of finals. We had to watch 4 hours worth of videos and complete a final exam by Friday at 5pm - he did give us an extension till Sunday 12pm. Overall, I honestly felt like I only took 13 credits this semester instead of 16. I learned nothing about Disrete Math. Sullivan is a very sweet man when you talk to him, and he does want to help you but that doesn't justify how he has organized this class. I understand Covid has made everything harder for professors to be virtual, but this was just unacceptable. I have heard stories about Sullivan in the past, and I really don't understand how he is a professor at UVA.

#tCF2020

DO NOT TAKE THIS CLASS WITH Kevin motherfucking Sullivan! Okay, full disclosure: Love the dude, hate his teaching. He is the nicest professor I have had at UVA but UVA needs to fire him. I am not kidding. Discrete Math is such an important class since the concepts follow CS Majors for rest of their careers but this dude fuck the foundations up. Going in, I knew how bad the class was and so I paid more attention in this class than absolutely any other one. I ended up with an A but I barely understood anything that was going on, how to write proofs etc... He needs to abandon using Lean and teach kids how to write everything by hand

Just avoid him. Please. Do anything and everything you can to NOT take CS2102 with Sullivan. He's a very nice guy, but is just not a good college professor at all. Every single homework is plagued with errors and tons of unclear directions. Honestly this class was only stressful because of how Sullivan delivered all of the material. I learned a few things, but not as much as I would've liked to. If you have no other choice than to take this class with him, then good luck.

He is cool as a person, but very confusing as a professor. He constantly gets things wrong in the middle of class then has to think a bit to change his answers. I understand that we get things wrong, but as a professor teaching students who usually don't know what's going on, its not a good look. It was hard to reverse my confusion when he finally figures out what he wants to teach. He does try hard to get us engaged, though.

He does not really know how to use lean well, if you want to teach students this new language, you should know it like the back of your hard. At the the end of the day, I do know a little about lean and propositional logic, but not at all how to prove things with or without lean. It is easy to get a good grade, though. When we were on grounds, office hours were very helpful to me. Now that we have to learn from home, I feel less engaged and I feel like I could have learned better with in person TAs and office hours, but my review on him stands.

It is a painful class. He consistently contradicts himself and doesn't stand up for himself when students interrupt. Lean is not a good way to learn discrete mathematics and this man doesn't seem to understand that. You come out of the class with an A or B, but with no understanding of Lean or Boolean Algebra. Do not recommend.

If you actually want to learn discrete math, take this class with another professor. However, Kevin's class is relatively easy and self-explanatory, especially if you are comfortable with coding and enjoy learning new languages. The entire class is in Lean. The first two months of this class were spent learning the syntax, which is super easy and the TA office hours were always super helpful. The last three weeks or so were spent learning proofs, which I'd say was very difficult if you don't already have any background knowledge of boolean algebra. The class had two exams and a final, all open note and very doable. Usually he gives a study guide for homework and the test is pretty much the same as the study guide, so you will be able to get an A. Also, he gives out extra credit on homeworks, curves the class, and is lenient about test grades. For instance, if you fail the first exam but do well on the next test and the final, he'll take an average of your scores and replace the low grade. Although Kevin himself is very disorganized and the class lacked structure, he is understanding and genuinely cares about his students and wants them to do well. I definitely would recommend this class over the other sections with other professors if you're looking for an easy A (and Kevin will admit that the class is not hard as well).

If you are a CS major or have to take this class, it is really not that bad. Sullivan is a really nice guy and understanding. Tests were open-notes (even the final) and two of them were take-home assignments (final and test 2). While Sullivan is a patient and nice guy, the class can be a bit confusing especially towards the end. I've heard you will learn more with Tychonievich but it is harder. His class did not fit with my schedule so I took Sullivan. Hopefully this will not come back to bite the ~2/3 of CS students who took it with Sullivan. While I wouldn't really say it was a fun class, I did not dread going to it or have disdain for it the entire time like PHYS 1425. Sullivan also has a cat named Mandy (short for Mandarin) that was really loud during Zoom lectures, but made me respect Sullivan even more. Yes, Sullivan is not the most organized and maybe not the best at conveying material, but he is smart and a nice guy. If you show up to class and go to office hours you should be able to get a good grade.

This class should not be this hard ever. It is all because we are using the programming language Lean, a programming language that you will probably only use once in your whole life. Lean is a so-called constructive programming language and so it is totally different from any language in the C family. I thought it would be fun, but the insane precision and annoying syntax required by lean only brought pain. The grammar of this language is so weird that sometimes even Kevin himself could not know where the bug is. The material covered in this class is just some basic boolean logic , which is only a small portion of the whole discrete mathematics field. However, with lean, it is like a nightmare.
The professor is a nice guy, but he is very disorganized and cannot even keep up with his own agenda, which is super annoying. Also, it is quite difficult to reach out to him except at his office hour, because he does not seem to check his email regularly. Sometimes, even the TAs have some trouble reach out to him.
The TAs are the only gods of this class. If you want to have a good grade, going to the TAs' office hours will be my suggestion.

Kevin is a nice guy but not the greatest or most organized prof. Our first hw assignment was to set up lean and vs code on our computer. No one knew how to do it and everyone had trouble with the installation. He held office hours the first week and there was a line wrapped around the entire floor of Rice. After waiting for 40 minutes, I gave up as he only helped 3 people. After two weeks, he finally got through everyone. After the setup debacle, we started going over the basics. Class was really interactive and the concepts weren't too difficult. While Kevin would backtrack and his teaching style was a bit erratic, he would take time to explain everything and answer questions. A downside to this course is that there isn't a textbook to reference or credible online resources/documentation. Although he can't follow a consistent schedule and he will never respond to emails, Kevin does genuinely care about his students and if you ask for help during OHs he will walk you through any problem.