{"id":41,"date":"2023-08-16T19:02:17","date_gmt":"2023-08-16T19:02:17","guid":{"rendered":"https:\/\/sandip.ece.ufl.edu\/?page_id=41"},"modified":"2026-04-14T07:57:42","modified_gmt":"2026-04-14T12:57:42","slug":"teaching","status":"publish","type":"page","link":"https:\/\/faculty.eng.ufl.edu\/sandip\/teaching\/","title":{"rendered":"Teaching"},"content":{"rendered":"<ul>\n<li><a href=\"https:\/\/sandip.ece.ufl.edu\/teaching\/safety-and-security-of-vehicular-electronic-systems-fall-2025-2\/\" target=\"_blank\" rel=\"noopener\">EEL 5632 Safety and Security of Vehicular Electronic Systems<\/a>, Fall 2025<\/li>\n<li><a href=\"https:\/\/sandip.ece.ufl.edu\/teaching\/eel4837-23f\/\">EEL4837 Programming For Electrical Engineers II<\/a>, Spring 2025<\/li>\n<li><a href=\"https:\/\/sandip.ece.ufl.edu\/teaching\/formal-methods-for-industrial-applications-fall-2024\/\">EEL 5934 Formal Methods for Industrial Applications<\/a>, Fall 2024<\/li>\n<li><a href=\"https:\/\/sandip.ece.ufl.edu\/?page_id=899&amp;preview=true\">EEL 5632 Safety and Security of Vehicular Electronic Systems<\/a>, Spring 2024<\/li>\n<li><a href=\"https:\/\/sandip.ece.ufl.edu\/teaching\/eel4837-23f\/\">Programming for Electrical Engineers II<\/a>, Fall 2023<\/li>\n<li><a href=\"http:\/\/faculty.eng.ufl.edu\/sandip\/wp-content\/uploads\/sites\/681\/classes\/eel-5632-23s\/index.html\">EEL 5632 Safety and Security of Vehicular Electronic Systems<\/a>, Spring 2023<\/li>\n<li><a href=\"http:\/\/faculty.eng.ufl.edu\/sandip\/wp-content\/uploads\/sites\/681\/classes\/eel-4837-22f\/index.html\">EEL4837 Programming For Electrical Engineers II<\/a>, Fall 2022<\/li>\n<li><a href=\"http:\/\/faculty.eng.ufl.edu\/sandip\/wp-content\/uploads\/sites\/681\/classes\/eel-5632-22s\/index.html\">EEL 5632 Safety and Security of Vehicular Electronic Systems<\/a>, Spring 2022<\/li>\n<li><a href=\"http:\/\/faculty.eng.ufl.edu\/sandip\/wp-content\/uploads\/sites\/681\/classes\/eel-4837-21f\/index.html\">EEL4837 Programming For Electrical Engineers II<\/a>, Fall 2021<\/li>\n<li><a href=\"http:\/\/faculty.eng.ufl.edu\/sandip\/wp-content\/uploads\/sites\/681\/classes\/eel-4930-20s\/index.html\">EEL4930 Programming For Electrical Engineers II<\/a>, Spring 2020<\/li>\n<li><a href=\"http:\/\/faculty.eng.ufl.edu\/sandip\/wp-content\/uploads\/sites\/681\/classes\/eel-5764-19f\/index.html\">EEL5764 Computer Architecture <\/a>, Fall 2019<\/li>\n<li><a href=\"http:\/\/faculty.eng.ufl.edu\/sandip\/wp-content\/uploads\/sites\/681\/classes\/eel-5934-19s\/index.html\">EEL5934 Automotive Safety and Security<\/a>, Spring 2019<\/li>\n<li><a href=\"http:\/\/faculty.eng.ufl.edu\/sandip\/wp-content\/uploads\/sites\/681\/classes\/eel-5764-18f\/index.html\">EEL5764 Computer Architecture<\/a>, Fall 2018<\/li>\n<li>CS389R Recursion and Induction, Fall 2010 (co-instructor with <a href=\"http:\/\/www.cs.utexas.edu\/~hunt\">Warren A. Hunt, Jr.)<\/a><\/li>\n<li>CS395T Industrial Formal Methods, Fall 2009 (co-instructor with <a href=\"http:\/\/www.cs.utexas.edu\/~hunt\">Warren A. Hunt, Jr.)<\/a><\/li>\n<li>CS389R Recursion and Induction, Fall 2008 (co-instructor with <a href=\"http:\/\/www.cs.utexas.edu\/~hunt\">Warren A. Hunt, Jr.)<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>EEL 5632 Safety and Security of Vehicular Electronic Systems, Fall 2025 EEL4837 Programming For Electrical Engineers II, Spring 2025 EEL 5934 Formal Methods for Industrial Applications, Fall 2024 EEL 5632 Safety and Security of Vehicular Electronic Systems, Spring 2024 Programming for Electrical Engineers II, Fall 2023 EEL 5632 Safety and Security of Vehicular Electronic Systems, [&hellip;]<\/p>\n","protected":false},"author":1365,"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-41","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/pages\/41","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/users\/1365"}],"replies":[{"embeddable":true,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/comments?post=41"}],"version-history":[{"count":1,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/pages\/41\/revisions"}],"predecessor-version":[{"id":3205,"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/pages\/41\/revisions\/3205"}],"wp:attachment":[{"href":"https:\/\/faculty.eng.ufl.edu\/sandip\/wp-json\/wp\/v2\/media?parent=41"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}