<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p
{mso-style-priority:99;
margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle20
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">Dear EECS undergrads,</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">If you're looking for fall 2018 courses, consider taking
<b>CS 4201: Software Verification</b> (counts as a <b>tech. elective!</b>). We'll do a bunch of cool things in the course centered on using the proof assistant Coq (</span><span style="font-family:"Calibri",sans-serif;color:#212121"><a href="https://coq.inria.fr/" target="_blank" id="LPlnk841890">https://coq.inria.fr/</a>)</span><span style="font-family:"Calibri",sans-serif;color:black"> to
prove the correctness of software systems. To give you a taste, here's the website from last year's offering: <a href="http://ace.cs.ohio.edu/~gstewart/courses/4201-17/" id="LPlnk878475">http://ace.cs.ohio.edu/~gstewart/courses/4201-17/</a>. </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">Lecture:
<b>MWF 11:50am-12:45pm in ARC 221</b></span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">And here are some anonymous student testimonials from previous times I've taught the course:</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">***</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"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.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"><br>
"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.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"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.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"The instructor is amazing. He broke down a difficult subject and made it accessible to students like me who struggle with higher level material.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"I find the coursework very unique and that it helps bridge the gap between Mathematics and Computer Science.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"It was very entertaining to learn how to deal with machine proofs-and satisfying once you convinced the machine that you were correct.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"Professor Stewart is an excellent teacher who explains things well and very clearly. He has a great ability to simplify otherwise VERY complicated material.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">***</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">Note that CS4201 *WILL* count as a tech. elective (even if it's not yet officially listed in the relevant documents online).</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">Thanks!</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">- Gordon</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"><o:p> </o:p></span></p>
</div>
</body>
</html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p
{mso-style-priority:99;
margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle20
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">Dear EECS undergrads,</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">If you're looking for fall 2018 courses, consider taking
<b>CS 4201: Software Verification</b> (counts as a <b>tech. elective!</b>). We'll do a bunch of cool things in the course centered on using the proof assistant Coq (</span><span style="font-family:"Calibri",sans-serif;color:#212121"><a href="https://coq.inria.fr/" target="_blank" id="LPlnk841890">https://coq.inria.fr/</a>)</span><span style="font-family:"Calibri",sans-serif;color:black"> to
prove the correctness of software systems. To give you a taste, here's the website from last year's offering: <a href="http://ace.cs.ohio.edu/~gstewart/courses/4201-17/" id="LPlnk878475">http://ace.cs.ohio.edu/~gstewart/courses/4201-17/</a>. </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">Lecture:
<b>MWF 11:50am-12:45pm in ARC 221</b></span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">And here are some anonymous student testimonials from previous times I've taught the course:</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">***</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"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.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"><br>
"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.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"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.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"The instructor is amazing. He broke down a difficult subject and made it accessible to students like me who struggle with higher level material.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"I find the coursework very unique and that it helps bridge the gap between Mathematics and Computer Science.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"It was very entertaining to learn how to deal with machine proofs-and satisfying once you convinced the machine that you were correct.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">"Professor Stewart is an excellent teacher who explains things well and very clearly. He has a great ability to simplify otherwise VERY complicated material.</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">***</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">Note that CS4201 *WILL* count as a tech. elective (even if it's not yet officially listed in the relevant documents online).</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">Thanks!</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black">- Gordon</span><span style="font-family:"Segoe UI",sans-serif;color:#212121"><o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;color:black"><o:p> </o:p></span></p>
</div>
</body>
</html>