{"id":782,"date":"2023-03-21T16:07:25","date_gmt":"2023-03-21T15:07:25","guid":{"rendered":"https:\/\/ai-lab.units.it\/?page_id=782"},"modified":"2024-01-17T15:05:55","modified_gmt":"2024-01-17T14:05:55","slug":"tommaso-padoan","status":"publish","type":"page","link":"https:\/\/ai-lab.units.it\/?page_id=782","title":{"rendered":"Tommaso Padoan"},"content":{"rendered":"\n<div class=\"wp-block-image is-style-rounded\"><figure class=\"alignleft size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"240\" height=\"240\" src=\"http:\/\/ai-lab.units.it\/wp-content\/uploads\/2023\/03\/Tommaso_Padoan_240-1.png\" alt=\"\" class=\"wp-image-780\" srcset=\"https:\/\/ai-lab.units.it\/wp-content\/uploads\/2023\/03\/Tommaso_Padoan_240-1.png 240w, https:\/\/ai-lab.units.it\/wp-content\/uploads\/2023\/03\/Tommaso_Padoan_240-1-150x150.png 150w\" sizes=\"auto, (max-width: 240px) 100vw, 240px\" \/><\/figure><\/div>\n\n\n\n<p style=\"font-size:18px\">I am an assistant professor (RTDa) at the Department of Mathematics and Geosciences of the University of Trieste.<br>I graduated in Computer Science at the University of Padova in 2016, where I also conducted my PhD studies in the BMCS doctoral program until 2019. I then worked for 3 years as postdoc for the PRIN project ASPRA.<\/p>\n\n\n\n<p style=\"font-size:18px\">My first research area is formal methods for the analysis and the verification of software, in particular automata and game-theoretic approaches, abstraction and approximation techniques, specification languages and models, especially for concurrent and distributed systems.<br>Since recently, I also study machine learning, with a focus on reinforcement and deep learning, and I am particularly interested in meta learning and formal aspects of machine learning.<\/p>\n\n\n\n<p style=\"font-size:18px\">I am a board games enthusiast, I love playing them but I am also interested in their design. I write and run Dungeons &amp; Dragons adventures. I also like video games and music.<\/p>\n\n\n\n<p style=\"font-size:18px\">Email: <a href=\"mailto:tommaso.padoan@units.it\">tommaso.padoan@units.it<\/a><\/p>\n\n\n\n<p> <a href=\"https:\/\/ai-lab.units.it\/?page_id=39&amp;tsr&amp;yr&amp;auth=213&amp;tps_button=Search\" data-type=\"URL\" target=\"_blank\" rel=\"noreferrer noopener\">Featured Publications<\/a> <\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>I am an assistant professor (RTDa) at the Department of Mathematics and Geosciences of the University of Trieste.I graduated in Computer Science at the University of Padova in 2016, where I also conducted my PhD studies in the BMCS doctoral program until 2019. I then worked for 3 years as&#8230;<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/ai-lab.units.it\/?page_id=782\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":113,"featured_media":0,"parent":10,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-782","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/pages\/782","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/users\/113"}],"replies":[{"embeddable":true,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=782"}],"version-history":[{"count":6,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/pages\/782\/revisions"}],"predecessor-version":[{"id":950,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/pages\/782\/revisions\/950"}],"up":[{"embeddable":true,"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=\/wp\/v2\/pages\/10"}],"wp:attachment":[{"href":"https:\/\/ai-lab.units.it\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=782"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}