{"id":30415,"date":"2023-04-24T17:12:25","date_gmt":"2023-04-24T17:12:25","guid":{"rendered":"https:\/\/krea.edu.in\/sias\/?page_id=30415"},"modified":"2025-07-29T10:31:54","modified_gmt":"2025-07-29T10:31:54","slug":"dr-t-v-h-prathamesh","status":"publish","type":"page","link":"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/","title":{"rendered":"Dr T V H Prathamesh"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"30415\" class=\"elementor elementor-30415\" 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\/2023\/07\/T-V-H-Prathamesh.png\" class=\"attachment-large size-large wp-image-35995\" alt=\"\" srcset=\"https:\/\/www-cdn.krea.edu.in\/sias\/2023\/07\/T-V-H-Prathamesh.png 500w, https:\/\/www-cdn.krea.edu.in\/sias\/2023\/07\/T-V-H-Prathamesh-300x300.png 300w, https:\/\/www-cdn.krea.edu.in\/sias\/2023\/07\/T-V-H-Prathamesh-150x150.png 150w\" sizes=\"(max-width: 500px) 100vw, 500px\" \/>\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 T V H Prathamesh<\/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 <\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-bce31c8 elementor-widget elementor-widget-heading\" data-id=\"bce31c8\" 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\">Discipline Coordinator - Computer Science<\/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, Indian Institute of Science<\/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<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\">prathamesh.turaga@krea.edu.in<\/span>\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\" href=\"https:\/\/in.linkedin.com\/in\/sayantan-datta-02a3108b\" 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\" href=\"http:\/\/sayantanspins.com\/\" 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 T V H Prathamesh works at the intersection of Logic, Computer Science and Mathematics<strong>.<\/strong> More specifically, he works on application of formal methods of Computer Science to Mathematics. The primary focus of his research is formalisation of Mathematics and theoretical Computer Science in type theory, and automated verification of mathematical proofs. His research is motivated by the need for formal verification of computer programmes used for research in Mathematics and theoretical Computer Science, and the potential use of computers in verifying controversial mathematical proofs. In particular, he is fascinated by the insights that one derives about familiar mathematical objects and proofs, when attempting to find the appropriate formal representation for the purpose of computer-aided proof checking.<\/p><p>He has contributed to the development of formal proofs in Mathematics and theoretical Computer Science in Isabelle\/HOL, a proof assistant based on Higher Order Logic. Dr Prathamesh has also undertaken research and continues to retain an interest in algorithmic and combinatorial aspects of knot theory, and in the interplay of geometric group theory, computability and logic.<\/p><p>Dr Prathamesh did his undergraduate studies in Mathematics at St Xavier\u2019s College, Mumbai. Thereafter he pursued an Integrated PhD in Mathematics from the Indian Institute of Science, Bangalore. His doctoral thesis was titled <em>Mechanizing Knot Theory<\/em>. Subsequently, he spent two stimulating years as a Post-Doctoral Fellow in the Institute of Mathematical Sciences, Chennai. After a short stint as a Visiting Scientist at the Indian Statistical Institute, Dr Prathamesh joined the computational logic group of the Institute f\u00fcr Informatik \u2013 Universit\u00e4t Innsbruck in Austria as a Post-Doctoral Researcher in the FWF-funded Fortissimo project.<\/p><p>His other interests include philosophy of science and social dimensions of science. He is particularly interested in the potential role of Science and Math education in dissemination of critical thinking and scientific temper. He grew up all around India, but retains a soft corner for the city of Chennai.<\/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\"><\/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\"><\/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\"><\/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 T V H Prathamesh Assistant Professor, Computer Science Discipline Coordinator &#8211; Computer Science PhD, Indian Institute of Science prathamesh.turaga@krea.edu.in Facebook Twitter Youtube Linkedin Instagram Link About Research Publications Teaching Modules About Dr T V H Prathamesh works at the intersection of Logic, Computer Science and Mathematics. More specifically, he works on application of formal &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Dr T V H Prathamesh&#8221;<\/span><\/a><\/p>\n","protected":false},"author":10,"featured_media":0,"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-30415","page","type-page","status-publish","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 T V H Prathamesh | Krea University - Top university for liberal education<\/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-t-v-h-prathamesh\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Dr T V H Prathamesh\" \/>\n<meta property=\"og:description\" content=\"Dr T V H Prathamesh Assistant Professor, Computer Science Discipline Coordinator &#8211; Computer Science PhD, Indian Institute of Science prathamesh.turaga@krea.edu.in Facebook Twitter Youtube Linkedin Instagram Link About Research Publications Teaching Modules About Dr T V H Prathamesh works at the intersection of Logic, Computer Science and Mathematics. More specifically, he works on application of formal &hellip; Continue reading &quot;Dr T V H Prathamesh&quot;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/\" \/>\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-07-29T10:31:54+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www-cdn.krea.edu.in\/sias\/2023\/07\/T-V-H-Prathamesh.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-t-v-h-prathamesh\\\/\",\"url\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-t-v-h-prathamesh\\\/\",\"name\":\"Dr T V H Prathamesh | Krea University - Top university for liberal education\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-t-v-h-prathamesh\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-t-v-h-prathamesh\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/wp-content\\\/uploads\\\/2023\\\/07\\\/T-V-H-Prathamesh.png\",\"datePublished\":\"2023-04-24T17:12:25+00:00\",\"dateModified\":\"2025-07-29T10:31:54+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-t-v-h-prathamesh\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-t-v-h-prathamesh\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-t-v-h-prathamesh\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www-cdn.krea.edu.in\\\/sias\\\/2023\\\/07\\\/T-V-H-Prathamesh.png\",\"contentUrl\":\"https:\\\/\\\/www-cdn.krea.edu.in\\\/sias\\\/2023\\\/07\\\/T-V-H-Prathamesh.png\",\"width\":500,\"height\":500},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/dr-t-v-h-prathamesh\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/krea.edu.in\\\/sias\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Dr T V H Prathamesh\"}]},{\"@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 T V H Prathamesh | Krea University - Top university for liberal education","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-t-v-h-prathamesh\/","og_locale":"en_US","og_type":"article","og_title":"Dr T V H Prathamesh","og_description":"Dr T V H Prathamesh Assistant Professor, Computer Science Discipline Coordinator &#8211; Computer Science PhD, Indian Institute of Science prathamesh.turaga@krea.edu.in Facebook Twitter Youtube Linkedin Instagram Link About Research Publications Teaching Modules About Dr T V H Prathamesh works at the intersection of Logic, Computer Science and Mathematics. More specifically, he works on application of formal &hellip; Continue reading \"Dr T V H Prathamesh\"","og_url":"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/","og_site_name":"Krea University - Top university for liberal education","article_publisher":"https:\/\/www.facebook.com\/KreaUniversity\/","article_modified_time":"2025-07-29T10:31:54+00:00","og_image":[{"width":500,"height":500,"url":"https:\/\/www-cdn.krea.edu.in\/sias\/2023\/07\/T-V-H-Prathamesh.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-t-v-h-prathamesh\/","url":"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/","name":"Dr T V H Prathamesh | Krea University - Top university for liberal education","isPartOf":{"@id":"https:\/\/krea.edu.in\/sias\/#website"},"primaryImageOfPage":{"@id":"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/#primaryimage"},"image":{"@id":"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/#primaryimage"},"thumbnailUrl":"https:\/\/krea.edu.in\/sias\/wp-content\/uploads\/2023\/07\/T-V-H-Prathamesh.png","datePublished":"2023-04-24T17:12:25+00:00","dateModified":"2025-07-29T10:31:54+00:00","breadcrumb":{"@id":"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/#primaryimage","url":"https:\/\/www-cdn.krea.edu.in\/sias\/2023\/07\/T-V-H-Prathamesh.png","contentUrl":"https:\/\/www-cdn.krea.edu.in\/sias\/2023\/07\/T-V-H-Prathamesh.png","width":500,"height":500},{"@type":"BreadcrumbList","@id":"https:\/\/krea.edu.in\/sias\/dr-t-v-h-prathamesh\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/krea.edu.in\/sias\/"},{"@type":"ListItem","position":2,"name":"Dr T V H Prathamesh"}]},{"@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\/30415","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=30415"}],"version-history":[{"count":50,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/pages\/30415\/revisions"}],"predecessor-version":[{"id":41765,"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/pages\/30415\/revisions\/41765"}],"wp:attachment":[{"href":"https:\/\/krea.edu.in\/sias\/wp-json\/wp\/v2\/media?parent=30415"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}