{"id":48,"date":"2017-02-18T23:17:33","date_gmt":"2017-02-19T04:17:33","guid":{"rendered":"https:\/\/sites.bu.edu\/depend\/?page_id=48"},"modified":"2022-10-26T14:47:01","modified_gmt":"2022-10-26T18:47:01","slug":"teaching","status":"publish","type":"page","link":"https:\/\/sites.bu.edu\/depend\/teaching\/","title":{"rendered":"Teaching"},"content":{"rendered":"<h4>ENG EC545: Cyber-Physical Systems &#8212; Fall 2022, Fall 2021, Fall 2019<\/h4>\n<ul>\n<li>Graduate course on embedded and cyber-physical systems.<\/li>\n<li>This course introduces students to the principles underlying the design and analysis of cyber-physical systems (CPSs).\u00a0A strong emphasis is put on building high-assurance systems with real-time and concurrent behaviors. Topics covered include modeling of dynamical behaviors, design of CPSs, and specification and analysis of CPSs. [<a href=\"\/depend\/files\/2020\/07\/EC500-Syllabus-Fall19.pdf\">syllabus<\/a>]<\/li>\n<\/ul>\n<h4>ENG EC330: Applied Algorithms for Engineers &#8212; Spring 2022, Spring 2021, Spring 2020, Fall 2018<\/h4>\n<ul>\n<li>Undergraduate course on algorithms.<\/li>\n<li>Introduction to the general concept of algorithms. Efficiency and run-time of algorithms. Graph algorithms, priority queues, search trees. Various approaches to design of algorithms and data structures, together with their applications to numerical and non-numerical problems. [<a href=\"\/depend\/files\/2020\/07\/EC330-Spring2020-Syllabus.pdf\">syllabus<\/a>]<\/li>\n<\/ul>\n<h4>ENG EC754: Computer-Aided Verification and Synthesis &#8212; Fall 2017, Fall 2017<\/h4>\n<ul>\n<li>Advanced graduate course on computer-aided verification and synthesis.<\/li>\n<li>The topics covered include formal specifications, modeling formalisms, verification techniques, inductive synthesis, and emerging applications such as autonomous robots and vehicles. [<a href=\"\/depend\/files\/2017\/09\/EC700_Li_2017_Fall.pdf\">syllabus<\/a>]<\/li>\n<\/ul>\n<h4>ENG EC535: Introduction to Embedded Systems &#8212; Spring 2017<\/h4>\n<ul>\n<li><span>Graduate course on\u00a0embedded systems. <\/span><\/li>\n<li><span>The topics covered include system specification languages, embedded computer architecture, real-time operating systems, hardware-software co-design, modeling formalisms, verification techniques, and embedded system applications. [<a href=\"\/depend\/files\/2017\/09\/ec535_syllabus_sp17.pdf\">syllabus<\/a>]<\/span><\/li>\n<\/ul>\n<h4>ENG EC551: Advanced Digital Design with Verilog and FPGA &#8212; Fall 2016<\/h4>\n<ul>\n<li>Graduate course on digital design and computer-aided design algorithms for FPGAs.<\/li>\n<li>The topics covered include hardware description language (Verilog),\u00a0specification, design, simulation, verification and synthesis of digital designs on FPGAs. [<a href=\"\/depend\/files\/2017\/09\/Syllabus_ECE551_Fall16.pdf\">syllabus<\/a>]<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>ENG EC545: Cyber-Physical Systems &#8212; Fall 2022, Fall 2021, Fall 2019 Graduate course on embedded and cyber-physical systems. This course introduces students to the principles underlying the design and analysis of cyber-physical systems (CPSs).\u00a0A strong emphasis is put on building high-assurance systems with real-time and concurrent behaviors. Topics covered include modeling of dynamical behaviors, design [&hellip;]<\/p>\n","protected":false},"author":12381,"featured_media":0,"parent":0,"menu_order":9,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/pages\/48"}],"collection":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/users\/12381"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/comments?post=48"}],"version-history":[{"count":23,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/pages\/48\/revisions"}],"predecessor-version":[{"id":1054,"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/pages\/48\/revisions\/1054"}],"wp:attachment":[{"href":"https:\/\/sites.bu.edu\/depend\/wp-json\/wp\/v2\/media?parent=48"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}