{"id":364,"date":"2019-10-13T11:19:37","date_gmt":"2019-10-13T07:49:37","guid":{"rendered":"https:\/\/mirblog.me\/?page_id=364"},"modified":"2025-09-03T21:35:56","modified_gmt":"2025-09-03T19:35:56","slug":"home","status":"publish","type":"page","link":"https:\/\/mirblog.net\/","title":{"rendered":"Home"},"content":{"rendered":"<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-554 size-full alignleft\" src=\"https:\/\/mirblog.net\/wp-content\/uploads\/2025\/09\/20200725_143052.jpg\" alt=\"\" width=\"192\" height=\"256\" \/>Welcome to my blog! \ud83d\udc4b<\/p>\n<p>I am currently a <strong>Software Engineer<\/strong> at <em>IMI Critical<\/em> (Process Automation). I enjoy tackling interesting and challenging problems and proposing efficient solutions.<\/p>\n<p style=\"padding-left: 200px; text-align: justify;\">I recently finished my <strong>PhD<\/strong> in the Software Engineering Research Group (SERG) at the Delft University of Technology. I conduct research at the intersection of Software Engineering and Machine Learning. Specifically, I am interested in boosting developers&#8217; productivity with AI-powered tools and techniques. During my PhD, I\u00a0<span style=\"box-sizing: border-box; margin: 0; padding: 0; text-align: left;\">developed\u00a0<strong>Type4Py<\/strong>, an ML-based type auto-completion tool designed to assist developers in retrofitting type annotations within<\/span> their codebases. Additionally, I investigated the effectiveness of machine learning techniques in pruning the edges of whole-program call graphs to enhance the precision and speed of downstream analyses, such as fine-grained software vulnerability analysis.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Welcome to my blog! \ud83d\udc4b I am currently a Software Engineer at IMI Critical (Process Automation). I enjoy tackling interesting and challenging problems and proposing efficient solutions. I recently finished my PhD in the Software Engineering Research Group (SERG) at the Delft University of Technology. I conduct research at the intersection of Software Engineering and &hellip; <a href=\"https:\/\/mirblog.net\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Home&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-364","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/mirblog.net\/index.php\/wp-json\/wp\/v2\/pages\/364","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mirblog.net\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/mirblog.net\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/mirblog.net\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mirblog.net\/index.php\/wp-json\/wp\/v2\/comments?post=364"}],"version-history":[{"count":9,"href":"https:\/\/mirblog.net\/index.php\/wp-json\/wp\/v2\/pages\/364\/revisions"}],"predecessor-version":[{"id":366,"href":"https:\/\/mirblog.net\/index.php\/wp-json\/wp\/v2\/pages\/364\/revisions\/366"}],"wp:attachment":[{"href":"https:\/\/mirblog.net\/index.php\/wp-json\/wp\/v2\/media?parent=364"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}