Dear EECS undergrads, If you're still looking for CS fall courses, consider taking CS 4201: Software Verification (counts as a tech. elective!). We'll do a bunch of cool things in the course (about which more here: http://ace.cs.ohio.edu/~gstewart/courses/4201-17/<http://ace.cs.ohio.edu/%7Egstewart/courses/4201-17/ >), centered on using the proof assistant Coq ( https://coq.inria.fr/, a super-advanced functional programming language) to prove the correctness of software systems. Lecture: MWF 3:05-4:00 pm in ARC 159 Here are some anonymous student testimonials from previous offerings: *** "I really liked the entire course. This course was excellently put together. The professor was able to give great introduction to new concepts, answer questions, and link the lecture and assignments together. "Dr. Stewart has been very helpful and available even outside of his office hours to help with assignments, and other questions associated with the course. "The material was very interesting to me - so much so that I plan to work through the software foundation book over winter break for fun. The instructor is pleasant to work with, I look forward to working with him on projects related to the class. "The instructor is amazing. He broke down a difficult subject and made it accessible to students like me who struggle with higher level material. "I find the coursework very unique and that it helps bridge the gap between Mathematics and Computer Science. "It was very entertaining to learn how to deal with machine proofs-and satisfying once you convinced the machine that you were correct. "Professor Stewart is an excellent teacher who explains things well and very clearly. He has a great ability to simplify otherwise VERY complicated material. *** Note that CS4201 *WILL* count as a tech. elective (even if it's not yet officially listed in the relevant documents online). Thanks! - Gordon -------------- next part -------------- An HTML attachment was scrubbed... URL: < http://listserv.ohio.edu/pipermail/eecs_bscs/attachments/20170828/1cd3dbfc/attachment.html >
(740) 593–9381 | Building 21, The Ridges
Ohio University | Athens OH 45701 | 740.593.1000 ADA Compliance | © 2018 Ohio University . All rights reserved.