[Eecs_bsee] CS4201 Software Verification (Tech. Elective)

• Previous message: [Eecs_bsee] Marietta College Krause Lecture -- What's wrong with your pa$$w0rd
• Next message: [Eecs_bsee] Talk by Steve Crocker entitled "Why Isn't Verification Standard Practice?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear EECS undergrads,

If you're looking for fall 2018 courses, consider taking CS 4201: Software Verification (counts as a tech. elective!). We'll do a bunch of cool things in the course centered on using the proof assistant Coq ( https://coq.inria.fr/ 
) to prove the correctness of software systems. To give you a taste, here's the website from last year's offering: http://ace.cs.ohio.edu/~gstewart/courses/4201-17/. 
Lecture: MWF 11:50am-12:45pm in ARC 221

And here are some anonymous student testimonials from previous times I've taught the course:

***
"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/20180410/668e12f3/attachment.html 
>

• Previous message: [Eecs_bsee] Marietta College Krause Lecture -- What's wrong with your pa$$w0rd
• Next message: [Eecs_bsee] Talk by Steve Crocker entitled "Why Isn't Verification Standard Practice?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]