{"id":16,"date":"2015-10-21T12:30:38","date_gmt":"2015-10-21T12:30:38","guid":{"rendered":"http:\/\/www.dais.unive.it\/~calzavara\/?page_id=16"},"modified":"2023-07-25T10:31:54","modified_gmt":"2023-07-25T10:31:54","slug":"teaching","status":"publish","type":"page","link":"https:\/\/www.dais.unive.it\/~calzavara\/?page_id=16","title":{"rendered":"Teaching"},"content":{"rendered":"<h2>Teaching Activity<\/h2>\n<p>I am currently teaching the following courses:<\/p>\n<ul>\n<li>Discrete structures<\/li>\n<li>Formal languages and computability<\/li>\n<li>Internet Security &#8211; Web security module<\/li>\n<\/ul>\n<p>You can find the links to the course homepages on the Ca&#8217; Foscari website.<\/p>\n<h2>Supervised Theses<\/h2>\n<p>I enjoy working with motivated students with a strong interest in formal methods and\/or software security. If you think you are interested in related topics and would like to work with me, just <a href=\"&#109;&#97;&#x69;&#x6c;&#116;&#111;&#x3a;&#x73;&#116;&#101;&#x66;&#x61;&#110;&#111;&#x2e;&#x63;&#97;&#108;&#x7a;&#x61;&#118;&#97;&#x72;&#x61;&#64;&#117;&#x6e;&#x69;&#118;&#101;&#x2e;&#x69;&#116;\">write me<\/a> to book an appointment. You can find an accessible introduction to my main research interests <a href=\"https:\/\/www.dais.unive.it\/~calzavara\/?page_id=407\">here<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Teaching Activity I am currently teaching the following courses: Discrete structures Formal languages and computability Internet Security &#8211; Web security module You can find the links to the course homepages on the Ca&#8217; Foscari website. Supervised Theses I enjoy working with motivated students with a strong interest in formal methods and\/or software security. If you think you are interested in&#8230; <a href=\"https:\/\/www.dais.unive.it\/~calzavara\/?page_id=16\">Read more &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-16","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.dais.unive.it\/~calzavara\/index.php?rest_route=\/wp\/v2\/pages\/16"}],"collection":[{"href":"https:\/\/www.dais.unive.it\/~calzavara\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.dais.unive.it\/~calzavara\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.dais.unive.it\/~calzavara\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.dais.unive.it\/~calzavara\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=16"}],"version-history":[{"count":23,"href":"https:\/\/www.dais.unive.it\/~calzavara\/index.php?rest_route=\/wp\/v2\/pages\/16\/revisions"}],"predecessor-version":[{"id":440,"href":"https:\/\/www.dais.unive.it\/~calzavara\/index.php?rest_route=\/wp\/v2\/pages\/16\/revisions\/440"}],"wp:attachment":[{"href":"https:\/\/www.dais.unive.it\/~calzavara\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=16"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}