[Eecs_bsee] Fall Semester - CS 4201: Software Verification

• Previous message: [Eecs_bsee] Invite - LEED Training - Athens - Ohio U - Sept. 30 - To distribute
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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_bsee/attachments/20170828/1cd3dbfc/attachment.html 
>

• Previous message: [Eecs_bsee] Invite - LEED Training - Athens - Ohio U - Sept. 30 - To distribute
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]