{"@attributes":{"version":"2.0"},"channel":{"title":"Wenhao Tang","link":"https:\/\/thwfhk.github.io\/","description":"Recent content on Wenhao Tang","generator":"Hugo","language":"en-us","item":{"title":"Wenhao Tang","link":"https:\/\/thwfhk.github.io\/about\/","pubDate":"Mon, 01 Jan 0001 00:00:00 +0000","guid":"https:\/\/thwfhk.github.io\/about\/","description":"<!-- ## About Me -->\n<figure class=\"avatar\"><img src=\"https:\/\/thwfhk.github.io\/avatar.jpg\">\n<\/figure>\n\n<div id=\"intro\">\n<p>I am a fourth-year PhD student in programming languages at <a href=\"https:\/\/www.ed.ac.uk\">the\nUniversity of Edinburgh<\/a>, supervised by Dr. <a href=\"https:\/\/homepages.inf.ed.ac.uk\/slindley\/\">Sam\nLindley<\/a>. I am interested in\ntypes and effects.<\/p>\n<p>I received my bachelor&rsquo;s degree from <a href=\"https:\/\/english.pku.edu.cn\">Peking\nUniversity<\/a>, where I worked on program\ncalculation and bidirectional programs supervised by Prof. <a href=\"https:\/\/zhenjiang888.github.io\/\">Zhenjiang\nHu<\/a>. I did a research internship with\nProf. <a href=\"https:\/\/people.cs.kuleuven.be\/~tom.schrijvers\/\">Tom Schrijvers<\/a>\nworking on algebraic and scoped effects in 2021.<\/p>\n<\/div>\n<h2 id=\"education\">Education<\/h2>\n<ul>\n<li>Ph.D. Student in Informatics, Oct 2022 - Present, <strong>The University of Edinburgh<\/strong><\/li>\n<li>B.S. in Computer Science (<em>summa cum laude<\/em>), Sept 2018 - July 2022, <strong>Peking University<\/strong><\/li>\n<\/ul>\n<h2 id=\"papers\">Papers<\/h2>\n<ul>\n<li>\n<p><a href=\"https:\/\/arxiv.org\/pdf\/2507.10301\"><strong>Rows and Capabilities as Modal Effects<\/strong><\/a> <br>\n<strong>Wenhao Tang<\/strong>, Sam Lindley<br>\n<a href=\"https:\/\/popl26.sigplan.org\"><span id=\"place\">POPL 2026<\/span><\/a> <a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3776674\"><code>[doi]<\/code><\/a> <a href=\"https:\/\/arxiv.org\/abs\/2507.10301\"><code>[arXiv]<\/code><\/a><\/p>"}}}