{"id":2879,"date":"2023-01-20T18:19:07","date_gmt":"2023-01-20T18:19:07","guid":{"rendered":"https:\/\/www.ise.ufl.edu\/cao\/?p=2879"},"modified":"2023-01-20T18:19:07","modified_gmt":"2023-01-20T18:19:07","slug":"yuan-zhou","status":"publish","type":"post","link":"https:\/\/ise.ufl.edu\/cao\/2023\/01\/20\/yuan-zhou\/","title":{"rendered":"Yuan Zhou (U. Kentucky), Semialgebraic parametric analysis by metaprogramming (SPAM) and its applications in optimization"},"content":{"rendered":"<p>The Center for Applied Optimization invites you to a seminar on <strong>Thursday, January 26, 2023 <\/strong>at <strong>3:00pm ET <\/strong>in the conference room in <strong>Weil 401E<\/strong>. Talk details are below.<\/p>\n<p><strong>Title: <\/strong>Semialgebraic parametric analysis by metaprogramming (SPAM)\u00a0and its applications in optimization<br \/>\n<strong>Speaker: <\/strong>Yuan Zhou (University of Kentucky, Department of Mathematics)<br \/>\n<strong>Website: <\/strong>https:\/\/www.ms.uky.edu\/~yzh392\/<\/p>\n<div>\n<div><strong>Abstract:<\/strong>\u00a0<span class=\"gmail-il\">We<\/span>\u00a0<span class=\"gmail-il\">develop<\/span>\u00a0a\u00a0<span class=\"gmail-il\">metaprogramming<\/span>\u00a0<span class=\"gmail-il\">technique<\/span>\u00a0that transforms algebraic programs for testing a property for a given input parameter into programs that compute the parameter region (proof-cell) of the input for which the property holds. The obtained proof-cells are semialgebraic sets.\u00a0<span class=\"gmail-il\">We<\/span>\u00a0borrow techniques from global optimization for the simplification and representation of proof-cells, and we investigate strategies that lead to shorter proofs. We discuss a few applications of the SPAM technique to portfolio optimization, solving multi-parametric mixed-integer programs and automated proofs of cutting plane theorems.<\/div>\n<div><\/div>\n<div><strong>Bio:<\/strong> Yuan Zhou is an assistant professor in the Department of Mathematics at the University of Kentucky. She obtained her dipl\u00f4me d&#8217;ing\u00e9nieur from\u00a0E\u0301cole Centrale Paris and a master&#8217;s degree from Universite\u0301 Paris-Dauphine in 2012 with a focus on Financial Mathematics. She received her Ph.D. in Applied Mathematics in 2017 from University of California, Davis under the supervision of Matthias K\u00f6ppe. Her research expertise lies in the theory for mixed integer linear optimization, in particular modern cutting plane theory.<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>The Center for Applied Optimization invites you to a seminar on Thursday, January 26, 2023 at 3:00pm ET in the conference room in Weil 401E. Talk details are below. Title: Semialgebraic parametric analysis by metaprogramming (SPAM)\u00a0and its applications in optimization Speaker: Yuan Zhou (University of Kentucky, Department of Mathematics) Website: https:\/\/www.ms.uky.edu\/~yzh392\/ Abstract:\u00a0We\u00a0develop\u00a0a\u00a0metaprogramming\u00a0technique\u00a0that transforms algebraic programs [&hellip;]<\/p>\n","protected":false},"author":0,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"inline_featured_image":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"categories":[1],"tags":[3],"class_list":["post-2879","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-seminar"],"acf":[],"_links":{"self":[{"href":"https:\/\/ise.ufl.edu\/cao\/wp-json\/wp\/v2\/posts\/2879","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ise.ufl.edu\/cao\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ise.ufl.edu\/cao\/wp-json\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/ise.ufl.edu\/cao\/wp-json\/wp\/v2\/comments?post=2879"}],"version-history":[{"count":0,"href":"https:\/\/ise.ufl.edu\/cao\/wp-json\/wp\/v2\/posts\/2879\/revisions"}],"wp:attachment":[{"href":"https:\/\/ise.ufl.edu\/cao\/wp-json\/wp\/v2\/media?parent=2879"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ise.ufl.edu\/cao\/wp-json\/wp\/v2\/categories?post=2879"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ise.ufl.edu\/cao\/wp-json\/wp\/v2\/tags?post=2879"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}