{"id":42606,"date":"2023-04-24T17:12:25","date_gmt":"2023-04-24T17:12:25","guid":{"rendered":"https:\/\/krea.edu.in\/sias\/?page_id=42606"},"modified":"2025-10-16T10:25:38","modified_gmt":"2025-10-16T10:25:38","slug":"dr-abhishek-de","status":"publish","type":"page","link":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/","title":{"rendered":"Dr Abhishek De"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"42606\" class=\"elementor elementor-42606\" data-elementor-post-type=\"page\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-cac80f7 elementor-section-full_width elementor-section-height-min-height elementor-section-height-default elementor-section-items-middle\" data-id=\"cac80f7\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-db23864\" data-id=\"db23864\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-455fe6a elementor-section-height-min-height elementor-section-boxed elementor-section-height-default elementor-section-items-middle\" data-id=\"455fe6a\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-9643c5b awsmgrid1\" data-id=\"9643c5b\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-430946f elementor-widget elementor-widget-image\" data-id=\"430946f\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"500\" height=\"500\" src=\"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/Dr-Abhishek-De.png\" class=\"attachment-large size-large wp-image-42607\" alt=\"\" srcset=\"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/Dr-Abhishek-De.png 500w, https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/Dr-Abhishek-De-300x300.png 300w, https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/Dr-Abhishek-De-150x150.png 150w\" sizes=\"(max-width: 34.9rem) calc(100vw - 2rem), (max-width: 53rem) calc(8 * (100vw \/ 12)), (min-width: 53rem) calc(6 * (100vw \/ 12)), 100vw\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-7571941 awsmgrid2\" data-id=\"7571941\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-c0d6a8d elementor-widget elementor-widget-heading\" data-id=\"c0d6a8d\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Dr Abhishek De <\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c2bc406 elementor-widget elementor-widget-heading\" data-id=\"c2bc406\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">Assistant Professor, Computer Science \n<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b2b93be elementor-widget elementor-widget-heading\" data-id=\"b2b93be\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">PhD, Universit\u00e9 Paris Cit\u00e9 \n<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c994609 elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"c994609\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"icon-list.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<ul class=\"elementor-icon-list-items\">\n\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<a href=\"mailto:abhishek.de@krea.edu.in\">\n\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-envelope\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">abhishek.de@krea.edu.in<\/span>\n\t\t\t\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-58d6189 e-grid-align-left elementor-hidden-desktop elementor-hidden-tablet elementor-hidden-mobile elementor-shape-rounded elementor-grid-0 elementor-widget elementor-widget-social-icons\" data-id=\"58d6189\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"social-icons.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-social-icons-wrapper elementor-grid\" role=\"list\">\n\t\t\t\t\t\t\t<span class=\"elementor-grid-item\" role=\"listitem\">\n\t\t\t\t\t<a class=\"elementor-icon elementor-social-icon elementor-social-icon-facebook elementor-repeater-item-4cb0eea\" target=\"_blank\">\n\t\t\t\t\t\t<span class=\"elementor-screen-only\">Facebook<\/span>\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fab fa-facebook\"><\/i>\t\t\t\t\t<\/a>\n\t\t\t\t<\/span>\n\t\t\t\t\t\t\t<span class=\"elementor-grid-item\" role=\"listitem\">\n\t\t\t\t\t<a class=\"elementor-icon elementor-social-icon elementor-social-icon-twitter elementor-repeater-item-b57c1d4\" target=\"_blank\">\n\t\t\t\t\t\t<span class=\"elementor-screen-only\">Twitter<\/span>\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fab fa-twitter\"><\/i>\t\t\t\t\t<\/a>\n\t\t\t\t<\/span>\n\t\t\t\t\t\t\t<span class=\"elementor-grid-item\" role=\"listitem\">\n\t\t\t\t\t<a class=\"elementor-icon elementor-social-icon elementor-social-icon-youtube elementor-repeater-item-8d4adee\" target=\"_blank\">\n\t\t\t\t\t\t<span class=\"elementor-screen-only\">Youtube<\/span>\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fab fa-youtube\"><\/i>\t\t\t\t\t<\/a>\n\t\t\t\t<\/span>\n\t\t\t\t\t\t\t<span class=\"elementor-grid-item\" role=\"listitem\">\n\t\t\t\t\t<a class=\"elementor-icon elementor-social-icon elementor-social-icon-linkedin elementor-repeater-item-90a7b4d\" target=\"_blank\">\n\t\t\t\t\t\t<span class=\"elementor-screen-only\">Linkedin<\/span>\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fab fa-linkedin\"><\/i>\t\t\t\t\t<\/a>\n\t\t\t\t<\/span>\n\t\t\t\t\t\t\t<span class=\"elementor-grid-item\" role=\"listitem\">\n\t\t\t\t\t<a class=\"elementor-icon elementor-social-icon elementor-social-icon-instagram elementor-repeater-item-69fc2d4\" target=\"_blank\">\n\t\t\t\t\t\t<span class=\"elementor-screen-only\">Instagram<\/span>\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fab fa-instagram\"><\/i>\t\t\t\t\t<\/a>\n\t\t\t\t<\/span>\n\t\t\t\t\t\t\t<span class=\"elementor-grid-item\" role=\"listitem\">\n\t\t\t\t\t<a class=\"elementor-icon elementor-social-icon elementor-social-icon-link elementor-repeater-item-9cc645f\" target=\"_blank\">\n\t\t\t\t\t\t<span class=\"elementor-screen-only\">Link<\/span>\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-link\"><\/i>\t\t\t\t\t<\/a>\n\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-0da4d3b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"0da4d3b\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-9282458\" data-id=\"9282458\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-798e5ce\" data-id=\"798e5ce\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4a566a2 elementor-tabs-view-horizontal elementor-widget elementor-widget-tabs\" data-id=\"4a566a2\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"tabs.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-tabs\">\n\t\t\t<div class=\"elementor-tabs-wrapper\" role=\"tablist\" >\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-7791\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"true\" data-tab=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"elementor-tab-content-7791\" aria-expanded=\"false\">About<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-7792\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-7792\" aria-expanded=\"false\">Research<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-7793\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-7793\" aria-expanded=\"false\">Publications<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-7794\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"4\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-7794\" aria-expanded=\"false\">Teaching Modules<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t<div class=\"elementor-tabs-content-wrapper\" role=\"tablist\" aria-orientation=\"vertical\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"true\" data-tab=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"elementor-tab-content-7791\" aria-expanded=\"false\">About<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-7791\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-7791\" tabindex=\"0\" hidden=\"false\"><p>Dr Abhishek De is a computer scientist with a theoretical focus, specialising in logic and its applications to programming languages, formal verification, and automated reasoning. Born and raised in Kolkata, he pursued higher education at the Chennai Mathematical Institute.\u00a0 He earned his doctoral degree at Universit\u00e9 Paris Cit\u00e9, where he was trained in the French school of logic. Before joining Krea, he spent a few years in the UK as a Research Fellow.<\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-7792\" aria-expanded=\"false\">Research<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-7792\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-7792\" tabindex=\"0\" hidden=\"hidden\"><p><span style=\"font-weight: 400;\">Logic interweaves ideas from mathematics, computer science, and philosophy. Dr De&#8217;s research broadly falls into proof theory, one of the four pillars of logic. In his research, cyclic proofs serve as a unifying framework and by leveraging cyclic proofs, he has brought proof-theoretic insights to programming language theory and formal verification. Dr De has broad scope interests including linear logic, lambda calculus, automata theory, and reverse mathematics.<\/span><\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-7793\" aria-expanded=\"false\">Publications<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-7793\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"3\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-7793\" tabindex=\"0\" hidden=\"hidden\"><p>&#8211; Cyclic system for an algebraic theory of alternating parity automata. Das A. &amp; De A. Accepted for publication at TABLEAUX 2025.<\/p>\n<p>&#8211; Right-Linear Lattices: An Algebraic Theory of &omega;-Regular Languages via Fixed Points. Das A. &amp; De A. Proceedings of MFCS 2025.<\/p>\n<p>&#8211; Bounded Henkin quantifiers and the exponential time hierarchy. De A. ICLA 2025.<\/p>\n<p>&#8211; The proof theory of right-linear (&omega;)-grammars via cyclic proofs. Das A. &amp; De A. Proceedings of LICS 2024.<\/p>\n<p>&#8211; The proof theory of (&omega;)-context-free languages via non-wellfounded proofs. Das A. &amp; De A. Automated Reasoning, IJCAR 2024.<\/p>\n<p>&#8211; Comparing infinitary systems for linear logic with fixed points. Das A., De A., &amp; Saurin A. Proceedings of FSTTCS 2023.<\/p>\n<p>&#8211; Phase semantics for linear logic with least and greatest fixed points. De A., Jafarrahmani F., &amp; Saurin A. Proceedings of FSTTCS 2022.<\/p>\n<p>&#8211; Decision problems for linear logic with least and greatest fixed points. Das A., De A., &amp; Saurin A. Proceedings of FSCD 2022.<\/p>\n<p>&#8211; Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. De A., Pellissier L., &amp; Saurin A. Proceedings of PPDP 2021.<\/p>\n<p>&#8211; Infinets: The parallel syntax for non-wellfounded proof-theory. De A. &amp; Saurin A. Proceedings of Tableaux 2019.<\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"4\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-7794\" aria-expanded=\"false\">Teaching Modules<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-7794\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"4\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-7794\" tabindex=\"0\" hidden=\"hidden\"><p><span style=\"font-weight: 400;\">In addition to regular institutional teaching duties, Dr De frequently delivers graduate-level courses at\u00a0 international graduate schools aimed at PhD students and professionals. He has also done multiple scientific outreach activities for high school students.<\/span><\/p><\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Dr Abhishek De Assistant Professor, Computer Science PhD, Universit\u00e9 Paris Cit\u00e9 abhishek.de@krea.edu.in Facebook Twitter Youtube Linkedin Instagram Link About Research Publications Teaching Modules About Dr Abhishek De is a computer scientist with a theoretical focus, specialising in logic and its applications to programming languages, formal verification, and automated reasoning. Born and raised in Kolkata, he &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Dr Abhishek De&#8221;<\/span><\/a><\/p>\n","protected":false},"author":10,"featured_media":42607,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_header_footer","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-42606","page","type-page","status-publish","has-post-thumbnail","hentry","entry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v27.3 (Yoast SEO v27.3) - https:\/\/yoast.com\/product\/yoast-seo-premium-wordpress\/ -->\n<title>Dr Abhishek De<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Dr Abhishek De\" \/>\n<meta property=\"og:description\" content=\"Dr Abhishek De Assistant Professor, Computer Science PhD, Universit\u00e9 Paris Cit\u00e9 abhishek.de@krea.edu.in Facebook Twitter Youtube Linkedin Instagram Link About Research Publications Teaching Modules About Dr Abhishek De is a computer scientist with a theoretical focus, specialising in logic and its applications to programming languages, formal verification, and automated reasoning. Born and raised in Kolkata, he &hellip; Continue reading &quot;Dr Abhishek De&quot;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/\" \/>\n<meta property=\"og:site_name\" content=\"Krea University - Top university for liberal education\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/KreaUniversity\/\" \/>\n<meta property=\"article:modified_time\" content=\"2025-10-16T10:25:38+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/krea.edu.in\/sias\/wp-content\/uploads\/2025\/10\/Dr-Abhishek-De.png\" \/>\n\t<meta property=\"og:image:width\" content=\"500\" \/>\n\t<meta property=\"og:image:height\" content=\"500\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@kreauniversity\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-abhishek-de\\\/\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-abhishek-de\\\/\",\"name\":\"Dr Abhishek De\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-abhishek-de\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-abhishek-de\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www-cdn.krea.edu.in\\\/sias\\\/2025\\\/10\\\/Dr-Abhishek-De.png\",\"datePublished\":\"2023-04-24T17:12:25+00:00\",\"dateModified\":\"2025-10-16T10:25:38+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-abhishek-de\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-abhishek-de\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-abhishek-de\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www-cdn.krea.edu.in\\\/sias\\\/2025\\\/10\\\/Dr-Abhishek-De.png\",\"contentUrl\":\"https:\\\/\\\/www-cdn.krea.edu.in\\\/sias\\\/2025\\\/10\\\/Dr-Abhishek-De.png\",\"width\":500,\"height\":500},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-abhishek-de\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Dr Abhishek De\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#website\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/\",\"name\":\"Krea University - Top university for liberal education\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#organization\",\"name\":\"Krea University\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/wp-content\\\/uploads\\\/2020\\\/08\\\/SIAS-Main-Logo.svg\",\"contentUrl\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/wp-content\\\/uploads\\\/2020\\\/08\\\/SIAS-Main-Logo.svg\",\"width\":1,\"height\":1,\"caption\":\"Krea University\"},\"image\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/KreaUniversity\\\/\",\"https:\\\/\\\/x.com\\\/kreauniversity\",\"https:\\\/\\\/www.instagram.com\\\/kreauniversity\\\/\",\"https:\\\/\\\/www.linkedin.com\\\/school\\\/krea-university\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UC7hu2pt6seIJLMiO0Tqe7XQ\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Dr Abhishek De","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/","og_locale":"en_US","og_type":"article","og_title":"Dr Abhishek De","og_description":"Dr Abhishek De Assistant Professor, Computer Science PhD, Universit\u00e9 Paris Cit\u00e9 abhishek.de@krea.edu.in Facebook Twitter Youtube Linkedin Instagram Link About Research Publications Teaching Modules About Dr Abhishek De is a computer scientist with a theoretical focus, specialising in logic and its applications to programming languages, formal verification, and automated reasoning. Born and raised in Kolkata, he &hellip; Continue reading \"Dr Abhishek De\"","og_url":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/","og_site_name":"Krea University - Top university for liberal education","article_publisher":"https:\/\/www.facebook.com\/KreaUniversity\/","article_modified_time":"2025-10-16T10:25:38+00:00","og_image":[{"width":500,"height":500,"url":"https:\/\/krea.edu.in\/sias\/wp-content\/uploads\/2025\/10\/Dr-Abhishek-De.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_site":"@kreauniversity","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/","url":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/","name":"Dr Abhishek De","isPartOf":{"@id":"https:\/\/krea.edu.in\/sias\/#website"},"primaryImageOfPage":{"@id":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/#primaryimage"},"image":{"@id":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/#primaryimage"},"thumbnailUrl":"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/Dr-Abhishek-De.png","datePublished":"2023-04-24T17:12:25+00:00","dateModified":"2025-10-16T10:25:38+00:00","breadcrumb":{"@id":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/#primaryimage","url":"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/Dr-Abhishek-De.png","contentUrl":"https:\/\/www-cdn.krea.edu.in\/sias\/2025\/10\/Dr-Abhishek-De.png","width":500,"height":500},{"@type":"BreadcrumbList","@id":"https:\/\/krea.edu.in\/sias\/dr-abhishek-de\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/krea.edu.in\/sias\/"},{"@type":"ListItem","position":2,"name":"Dr Abhishek De"}]},{"@type":"WebSite","@id":"https:\/\/krea.edu.in\/sias\/#website","url":"https:\/\/krea.edu.in\/sias\/","name":"Krea University - Top university for liberal education","description":"","publisher":{"@id":"https:\/\/krea.edu.in\/sias\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/krea.edu.in\/sias\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/krea.edu.in\/sias\/#organization","name":"Krea University","url":"https:\/\/krea.edu.in\/sias\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/krea.edu.in\/sias\/#\/schema\/logo\/image\/","url":"https:\/\/krea.edu.in\/sias\/wp-content\/uploads\/2020\/08\/SIAS-Main-Logo.svg","contentUrl":"https:\/\/krea.edu.in\/sias\/wp-content\/uploads\/2020\/08\/SIAS-Main-Logo.svg","width":1,"height":1,"caption":"Krea University"},"image":{"@id":"https:\/\/krea.edu.in\/sias\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/KreaUniversity\/","https:\/\/x.com\/kreauniversity","https:\/\/www.instagram.com\/kreauniversity\/","https:\/\/www.linkedin.com\/school\/krea-university\/","https:\/\/www.youtube.com\/channel\/UC7hu2pt6seIJLMiO0Tqe7XQ"]}]}},"_links":{"self":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/pages\/42606","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/users\/10"}],"replies":[{"embeddable":true,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/comments?post=42606"}],"version-history":[{"count":7,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/pages\/42606\/revisions"}],"predecessor-version":[{"id":42615,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/pages\/42606\/revisions\/42615"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/media\/42607"}],"wp:attachment":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/media?parent=42606"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}