{"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":"2025-08-06T14:14:46","modified_gmt":"2025-08-06T18:14:46","slug":"teaching","status":"publish","type":"page","link":"https:\/\/carleton.ca\/kahani\/teaching\/","title":{"rendered":"Teaching"},"content":{"rendered":"<ul>\n<li><a href=\"https:\/\/carleton.ca\/sce\/wp-content\/uploads\/SYSC-4101-CourseDescription-04-2020.pdf\">SYSC 4101<\/a>: Software Validation<\/li>\n<li><a href=\"https:\/\/carleton.ca\/sce\/wp-content\/uploads\/SYSC-3020-CourseDescription-04-2020.pdf\">SYSC 3020<\/a>: Introduction to Software Engineering<\/li>\n<li><a href=\"https:\/\/carleton.ca\/sce\/wp-content\/uploads\/SYSC4111_CourseDescription.pdf\">SYSC 4111<\/a>: Formal Methods in Software Engineering<\/li>\n<li><a href=\"https:\/\/carleton.ca\/sce\/wp-content\/uploads\/SYSC-3120-CourseDescription-04-2020.pdf\">SYSC 3120<\/a>: Software Requirements Engineering<\/li>\n<li><a href=\"https:\/\/calendar.carleton.ca\/search\/?P=SYSC%205105\">SYSC 5105:<\/a> Software Quality Engineering and Management<\/li>\n<li>SYSC 5807: Advanced Software Testing<span class=\"Apple-converted-space\">\u00a0<\/span><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>SYSC 4101: Software Validation SYSC 3020: Introduction to Software Engineering SYSC 4111: Formal Methods in Software Engineering SYSC 3120: Software Requirements Engineering SYSC 5105: Software Quality Engineering and Management SYSC 5807: Advanced Software Testing\u00a0<\/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":"<!-- This site is optimized with the Yoast SEO plugin v21.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Teaching - Nafiseh Kahani<\/title>\n<meta name=\"description\" content=\"SYSC 4101: Software Validation SYSC 3020: Introduction to Software Engineering SYSC 4111: Formal Methods in Software Engineering SYSC 3120: Software\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/carleton.ca\/kahani\/teaching\/\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/carleton.ca\/kahani\/teaching\/\",\"url\":\"https:\/\/carleton.ca\/kahani\/teaching\/\",\"name\":\"Teaching - Nafiseh Kahani\",\"isPartOf\":{\"@id\":\"https:\/\/carleton.ca\/kahani\/#website\"},\"datePublished\":\"2020-12-17T00:27:53+00:00\",\"dateModified\":\"2025-08-06T18:14:46+00:00\",\"description\":\"SYSC 4101: Software Validation SYSC 3020: Introduction to Software Engineering SYSC 4111: Formal Methods in Software Engineering SYSC 3120: Software\",\"breadcrumb\":{\"@id\":\"https:\/\/carleton.ca\/kahani\/teaching\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/carleton.ca\/kahani\/teaching\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/carleton.ca\/kahani\/teaching\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/carleton.ca\/kahani\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Teaching\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/carleton.ca\/kahani\/#website\",\"url\":\"https:\/\/carleton.ca\/kahani\/\",\"name\":\"Nafiseh Kahani\",\"description\":\"ÐÓ°ÉÔ­´´ University\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/carleton.ca\/kahani\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Teaching - Nafiseh Kahani","description":"SYSC 4101: Software Validation SYSC 3020: Introduction to Software Engineering SYSC 4111: Formal Methods in Software Engineering SYSC 3120: Software","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/carleton.ca\/kahani\/teaching\/","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/carleton.ca\/kahani\/teaching\/","url":"https:\/\/carleton.ca\/kahani\/teaching\/","name":"Teaching - Nafiseh Kahani","isPartOf":{"@id":"https:\/\/carleton.ca\/kahani\/#website"},"datePublished":"2020-12-17T00:27:53+00:00","dateModified":"2025-08-06T18:14:46+00:00","description":"SYSC 4101: Software Validation SYSC 3020: Introduction to Software Engineering SYSC 4111: Formal Methods in Software Engineering SYSC 3120: Software","breadcrumb":{"@id":"https:\/\/carleton.ca\/kahani\/teaching\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/carleton.ca\/kahani\/teaching\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/carleton.ca\/kahani\/teaching\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/carleton.ca\/kahani\/"},{"@type":"ListItem","position":2,"name":"Teaching"}]},{"@type":"WebSite","@id":"https:\/\/carleton.ca\/kahani\/#website","url":"https:\/\/carleton.ca\/kahani\/","name":"Nafiseh Kahani","description":"ÐÓ°ÉÔ­´´ University","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/carleton.ca\/kahani\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"}]}},"acf":{"banner_image_type":"hosted","banner_button":"no","banner_hosted_image":"aerial","banner_opacity":"dark"},"_links":{"self":[{"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/pages\/63"}],"collection":[{"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/comments?post=63"}],"version-history":[{"count":3,"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/pages\/63\/revisions"}],"predecessor-version":[{"id":410,"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/pages\/63\/revisions\/410"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/kahani\/wp-json\/wp\/v2\/media?parent=63"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}