{"id":63,"date":"2020-12-16T19:27:53","date_gmt":"2020-12-17T00:27:53","guid":{"rendered":"https:\/\/carleton.ca\/kahani\/?page_id=63"},"modified":"2026-08-30T11:59:55","modified_gmt":"2026-08-30T15:59:55","slug":"teaching","status":"publish","type":"page","link":"https:\/\/carleton.ca\/kahani\/teaching\/","title":{"rendered":"Teaching"},"content":{"rendered":"
\nI teach undergraduate and graduate courses in software engineering, with a focus on software development, requirements engineering, formal methods, software quality, validation, and testing. Courses I have taught include:\n<\/p>\n
Teaching I teach undergraduate and graduate courses in software engineering, with a focus on software development, requirements engineering, formal methods, software quality, validation, and testing. Courses I have taught include: SYSC 3020 \u2013 Introduction to Software Engineering SYSC 3120 \u2013 Software Requirements Engineering SYSC 4101 \u2013 Software Validation SYSC 4111 \u2013 Formal Methods in Software […]<\/p>\n","protected":false},"author":6,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"","_relevanssi_noindex_reason":"","_mi_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":"","_links_to":"","_links_to_target":""},"yoast_head":"\n