{"id":19,"date":"2019-09-10T18:19:32","date_gmt":"2019-09-10T18:19:32","guid":{"rendered":"http:\/\/tuba.ece.ufl.edu\/?page_id=19"},"modified":"2019-09-10T18:19:32","modified_gmt":"2019-09-10T18:19:32","slug":"teaching","status":"publish","type":"page","link":"https:\/\/faculty.eng.ufl.edu\/tuba\/teaching\/","title":{"rendered":"Teaching"},"content":{"rendered":"<h3>EEE 4701\/5702 Automated Hardware\/Software Verification<\/h3>\n<p>This course helps students develop modeling, formal specification, and automated verification skills for analyzing complex hardware and\/or software systems. The course covers both the theory behind automated verification techniques and practical aspects of verification via hands-on experience with various automated verification tools and guest lectures by practitioners (Fall 2014, 2015, 2016). This course is open to both undergrads and grads.<\/p>\n<h3>EEL 4732\/5733 Advanced Systems Programming<\/h3>\n<p>This course helps students develop a deep understanding of operating system concepts and systems programming fundamentals and gain hands-on experience in systems programming by using Pthreads and by implementing Linux device drivers and testing\/verifying systems code for deadlock and race-freedom (Spring 2015, 2016, and 2017). This course is open to both undergrads and grads.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>EEE 4701\/5702 Automated Hardware\/Software Verification This course helps students develop modeling, formal specification, and automated verification skills for analyzing complex hardware and\/or software systems. The course covers both the theory behind automated verification techniques and practical aspects of verification via hands-on experience with various automated verification tools and guest lectures by practitioners (Fall 2014, 2015, [&hellip;]<\/p>\n","protected":false},"author":1331,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/page-section-nav.php","meta":{"_acf_changed":false,"inline_featured_image":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-19","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/faculty.eng.ufl.edu\/tuba\/wp-json\/wp\/v2\/pages\/19","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/faculty.eng.ufl.edu\/tuba\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/faculty.eng.ufl.edu\/tuba\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/tuba\/wp-json\/wp\/v2\/users\/1331"}],"replies":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/tuba\/wp-json\/wp\/v2\/comments?post=19"}],"version-history":[{"count":0,"href":"https:\/\/faculty.eng.ufl.edu\/tuba\/wp-json\/wp\/v2\/pages\/19\/revisions"}],"wp:attachment":[{"href":"https:\/\/faculty.eng.ufl.edu\/tuba\/wp-json\/wp\/v2\/media?parent=19"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}