{"id":217,"date":"2021-02-10T10:03:54","date_gmt":"2021-02-10T10:03:54","guid":{"rendered":"https:\/\/ieee-ises.org\/2021\/?page_id=217"},"modified":"2023-10-26T17:07:24","modified_gmt":"2023-10-26T17:07:24","slug":"keynotes","status":"publish","type":"page","link":"https:\/\/ieee-ises.org\/2023\/keynotes\/","title":{"rendered":"Keynotes"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"217\" class=\"elementor elementor-217\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-5e9572f0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5e9572f0\" data-element_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-100 elementor-top-column elementor-element elementor-element-4419b0b\" data-id=\"4419b0b\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-5abf999 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5abf999\" data-element_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-100 elementor-inner-column elementor-element elementor-element-0464191\" data-id=\"0464191\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-f6e564a elementor-widget elementor-widget-heading\" data-id=\"f6e564a\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.11.1 - 15-02-2023 *\/\n.elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h2 class=\"elementor-heading-title elementor-size-default\">Smart Healthcare - Cybersecurity Perspectives<\/h2>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-26dae4d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"26dae4d\" data-element_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-100 elementor-top-column elementor-element elementor-element-65439fb\" data-id=\"65439fb\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-8377578 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"8377578\" data-element_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-inner-column elementor-element elementor-element-a050d28\" data-id=\"a050d28\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d34ac7e elementor-widget elementor-widget-image\" data-id=\"d34ac7e\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.11.1 - 15-02-2023 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/05\/Saraju_Mohanty.jpg?fit=200%2C200&amp;ssl=1\" title=\"Saraju_Mohanty\" alt=\"Saraju_Mohanty\" loading=\"lazy\" \/>\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<div class=\"elementor-element elementor-element-b7b4bb8 elementor-widget elementor-widget-heading\" data-id=\"b7b4bb8\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Dr. Saraju P. Mohanty<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b570918 elementor-widget elementor-widget-heading\" data-id=\"b570918\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Department of Computer Science and Engineering\nUniversity of North Texas, Denton, TX 76207, USA.\n<\/h1>\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-inner-column elementor-element elementor-element-ad37d39\" data-id=\"ad37d39\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e47925f elementor-widget elementor-widget-text-editor\" data-id=\"e47925f\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.11.1 - 15-02-2023 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<h3><span style=\"color: #333333;\"><strong>Abstract:<\/strong><\/span><\/h3><p style=\"text-align: justify;\">The healthcare system has evolved from traditional healthcare to smart healthcare with relentless research in the last few decades. The importance of the smart healthcare involving telemedicine, connected health, and mobile health cannot be overstated. Smart healthcare built using Internet-Medical-Things (IoMT) is a key component in smart cities and smart villages which can provide effective and optimal healthcare to the patients even with limited healthcare personnel. Smart healthcare is further expanding with the help of healthcare Cyber-Physical System (H-CPS) that integrates IoMT, electronic health record (EHR), and artificial intelligence (AI). H-CPS consists of various components including, biosensors, body sensors, electronics, wearables, implantables, networks, middleware, firmware, software, EHR, and AI. The integrated technologies like IoMT, connectivity, and AI bring additional challenges to H-CPS including attacks on IoMT-devices, healthcare data, and counterfeit medicines. This talk will present detailed insight of IoMT based smart healthcare built as a H-CPS. It will discuss the cybersecurity challenges and solutions specific to the H-CPS\/IoMT. The talk will address many questions about smart healthcare including: (1) What is H-CPS\/IoMT? (2) What are the challenges of H-CPS\/IoMT? (3) What are the cybersecurity solutions for H-CPS\/IoMT? (4) What is Security-by-Design for H-CPS? (5) What are SbD solutions for H-CPS? (6) How to ensure counterfeit-free pharmaceutical supply chain?<\/p><p>\u00a0<\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-5961ba0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5961ba0\" data-element_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-100 elementor-top-column elementor-element elementor-element-0bc4696\" data-id=\"0bc4696\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-0a8b14b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"0a8b14b\" data-element_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-100 elementor-inner-column elementor-element elementor-element-2a0febf\" data-id=\"2a0febf\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-942c057 elementor-widget elementor-widget-text-editor\" data-id=\"942c057\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><span style=\"color: #000000;\"><strong>Speaker Biography:<\/strong><\/span><\/h3><p style=\"text-align: justify;\">Dr. Saraju P. Mohanty is a Professor at the University of North Texas. Prof. Mohanty\u2019s research is in \u201cSmart Electronic Systems\u201d which has been funded by NSF, SRC, US Air Force, IUSSTF, and Mission Innovation. He has over 20 years of research experience on security and protection of media, hardware, and system. He introduced the Secure Digital Camera (SDC) in 2004 with built-in security features designed using Security by Design (SbD) principle. He is widely credited as the designer for the first digital watermarking chip in 2004 and first the low-power digital watermarking chip in 2006. He has authored 450 research articles, 5 books, and 10 granted and pending patents. His Google Scholar h-index is 53 and i10-index is 226 with 12,000 citations. He is a recipient of 16 best paper awards, Fulbright Specialist Award in 2020, IEEE Consumer Electronics Society Outstanding Service Award in 2020, the IEEE-CS-TCVLSI Distinguished Leadership Award in 2018, and the PROSE Award for Best Textbook in Physical Sciences and Mathematics category in 2016. He has delivered 16 keynotes and served on 14 panels at various International Conferences.\u00a0 He has been serving on the editorial board of several peer-reviewed international journals, including IEEE Transactions on Bigdata, IEEE Transactions on CAD as well as EiC of IEEE Consumer Electronics Magazine. He served as the Chair of the IEEE-CS Technical Committee on VLSI (TCVLSI) during 2014-2018 and served on the Board of Governors of the IEEE Consumer Electronics Society during 2019-2021. He is the steering committee chair\/vice-chair for the IEEE International Symposium on Smart Electronic Systems (iSES), the IEEE-CS Symposium on VLSI (ISVLSI), and the OITS International Conference on Information Technology (OCIT). He has mentored 3 post-doctoral researchers, and supervised 15 Ph.D. dissertations, 26 M.S. theses, and 12 undergraduate projects.<\/p><p>\u00a0<\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-d82f817 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d82f817\" data-element_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-100 elementor-top-column elementor-element elementor-element-9816f4c\" data-id=\"9816f4c\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-3530eae elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3530eae\" data-element_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-100 elementor-inner-column elementor-element elementor-element-db9fd4e\" data-id=\"db9fd4e\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-494b494 elementor-widget elementor-widget-heading\" data-id=\"494b494\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Security and Privacy of Machine Learning Systems <\/h2>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-d11024a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d11024a\" data-element_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-100 elementor-top-column elementor-element elementor-element-626a1ca\" data-id=\"626a1ca\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-86af7e6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"86af7e6\" data-element_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-inner-column elementor-element elementor-element-bcfa02b\" data-id=\"bcfa02b\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-c8f01be elementor-widget elementor-widget-image\" data-id=\"c8f01be\" data-element_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 decoding=\"async\" src=\"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/09\/Images01.png?fit=200%2C200&amp;ssl=1\" title=\"Images01\" alt=\"Images01\" loading=\"lazy\" \/>\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<div class=\"elementor-element elementor-element-1a3ac8e elementor-widget elementor-widget-heading\" data-id=\"1a3ac8e\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Sandip Kundu<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-348e838 elementor-widget elementor-widget-heading\" data-id=\"348e838\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Department of Electrical & Computer Engineering\nUniversity of Massachusetts Amherst<\/h1>\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-inner-column elementor-element elementor-element-6f9c5e8\" data-id=\"6f9c5e8\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-cf804b2 elementor-widget elementor-widget-text-editor\" data-id=\"cf804b2\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><strong>Abstract<\/strong><\/h3><p style=\"text-align: justify;\">Deep Neural Networks (DNNs) are widely used for prediction and classification tasks. However, they are vulnerable to a variety of threats, including model extraction, evasion and inversion attacks. Model extraction attacks steal DNN models, which is a threat to intellectual property, data privacy, and security. Model evasion attack manipulates an input to a machine learning model in such a way that the model makes an incorrect prediction. In model inversion attack, an adversary attempts to infer sensitive or private information about the training data or individual data points that were used to train the model by exploiting the model&#8217;s outputs. We will describe simplified mathematical formulation of the problems and conclude the talk with various approaches for defending against adversarial attack on ML system.<\/p><p>\u00a0<\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-d3f7091 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d3f7091\" data-element_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-100 elementor-top-column elementor-element elementor-element-d6c2b54\" data-id=\"d6c2b54\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-54c67aa elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"54c67aa\" data-element_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-100 elementor-inner-column elementor-element elementor-element-518d4fa\" data-id=\"518d4fa\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-01cb760 elementor-widget elementor-widget-text-editor\" data-id=\"01cb760\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><strong>Biography<\/strong><\/h3>\n<p style=\"text-align: justify;\">Sandip Kundu is a Professor of Electrical and Computer Engineering at the University of\nMassachusetts Amherst. Until recently, he was also a program director at the National Science\nFoundation wit\nhin the CISE directorate. Kundu began his career at IBM Research as a<\/p>\nResearch Staff Member; then worked at Intel Corporation as a Principal Engineer before joining\nUMass Amherst as a professor in 2005. He has published\nnearly\n300\nresearch papers in VLSI\nd\nesign and test, holds several key patents including ultra\n&#8211;\ndrowsy sleep mode in processors, and\nhas given more than a dozen tutorials at various conferences. He is a Fellow of the IEEE,\nFellow of the Japan Society for Promotion of Science (JSPS), Senior Int\nernational Scientist of\nthe Chinese Academy of Sciences and was a Distinguished Visitor of the IEEE Computer\nSociety.\nHe has been an Associate Editor of the IEEE Transactions on Dependable and Secure\nComputing. Associate Editor of the IEEE Transactions on\nComputers, IEEE Transactions on\nVLSI Systems and ACM Transactions on Design Automation of Electronic Systems. He has\nbeen Technical Program Chair\/General Chair of multiple conferences including ICCD, ATS,\nISVLSI, DFTS and VLSI Design Conference.<\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-5f237d2 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5f237d2\" data-element_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-100 elementor-top-column elementor-element elementor-element-19be0a0\" data-id=\"19be0a0\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-939d9da elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"939d9da\" data-element_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-100 elementor-inner-column elementor-element elementor-element-99a1342\" data-id=\"99a1342\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-0ff8880 elementor-widget elementor-widget-heading\" data-id=\"0ff8880\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Automated Polynomial Formal Verification: Human-Readable Proof Generation<\/h2>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-e9d71f3 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"e9d71f3\" data-element_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-100 elementor-top-column elementor-element elementor-element-8cc4236\" data-id=\"8cc4236\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-469f024 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"469f024\" data-element_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-inner-column elementor-element elementor-element-a2c936d\" data-id=\"a2c936d\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4ba57b5 elementor-widget elementor-widget-image\" data-id=\"4ba57b5\" data-element_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 decoding=\"async\" src=\"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/09\/images02.png?fit=173%2C173&amp;ssl=1\" title=\"images02\" alt=\"images02\" loading=\"lazy\" \/>\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<div class=\"elementor-element elementor-element-09e213c elementor-widget elementor-widget-heading\" data-id=\"09e213c\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Rolf Drechsler <\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d5bb732 elementor-widget elementor-widget-heading\" data-id=\"d5bb732\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">University of Bremen\/DFKI, Germany<\/h1>\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-inner-column elementor-element elementor-element-496a0d2\" data-id=\"496a0d2\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3c9a174 elementor-widget elementor-widget-text-editor\" data-id=\"3c9a174\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><span style=\"color: #000000;\"><strong>Abstract<\/strong><\/span><\/h3>\n<p style=\"text-align: justify;\">In the past years, the importance of the verification of digital circuits has increased significantly, as their complexity has grown. Simulation techniques cannot fully guarantee their correctness, as the correctness has to be shown for every possible input assignment. Thus, formal verification has to be applied. However, formal verification methods may require exponential time and space in the worst case. Therefore, Polynomial Formal Verification (PFV) has been researched in the past years, where polynomial upper bounds have been proven for the formal verification and by this guarantee efficient run times of the tools. Polynomial bounds have been proven successfully for the verification of several adders, multipliers and other circuits. However, due to the lack of automation techniques, all previous proofs were conducted manually. Thus, a tool enabling the automatic proof generation has recently been introduced, which demonstrates the concept of automatic proofs on the example of BDDs. We enhance the tool to automatically generate an extended human-readable proof, detailing the automatic reasoning, such that the produced proof is fully comprehensible.<p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-99c0bb5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"99c0bb5\" data-element_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-100 elementor-top-column elementor-element elementor-element-1c6d386\" data-id=\"1c6d386\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-6535c9c elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6535c9c\" data-element_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-100 elementor-inner-column elementor-element elementor-element-63851c3\" data-id=\"63851c3\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-9bfe413 elementor-widget elementor-widget-text-editor\" data-id=\"9bfe413\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><strong>Biography<\/strong><\/h3><p>Rolf Drechsler received the Diploma and Dr. phil. nat. degrees in computer science from the Johann Wolfgang Goethe University in Frankfurt am Main, Germany, in 1992 and 1995, respectively. He worked at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany, from 1995 to 2000, and at the Corporate Technology Department, Siemens AG, Munich, Germany, from 2000 to 2001.<\/p><p>Since October 2001, Rolf Drechsler is a Full Professor and Head of the\u00a0<a href=\"http:\/\/www.informatik.uni-bremen.de\/agra\">Group of Computer Architecture<\/a>,\u00a0<a href=\"http:\/\/www.informatik.uni-bremen.de\/\">Institute of Computer Science<\/a>, at the University of Bremen, Germany. In 2011, he additionally became the Director of the\u00a0<a href=\"http:\/\/www-cps.hb.dfki.de\/home\">Cyber-Physical Systems Group<\/a>\u00a0at the\u00a0<a href=\"http:\/\/www.dfki.de\/\">German Research Center for Artificial Intelligence (DFKI)<\/a>\u00a0in Bremen. His current research interests include the development and design of data structures and algorithms with a focus on circuit and system design. He is an ACM Distinguished Member and an IEEE Fellow.<\/p><p>From 2008 to 2013 he was the Vice Rector for Research and Young Academics at the University of Bremen. Since 2018 he is the Dean of the\u00a0<a href=\"http:\/\/www.fb3.uni-bremen.de\/\">Faculty of Mathematics and Computer Science<\/a>.<\/p><p>Rolf Drechsler was a member of Program Committees of numerous conferences including e.g., DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE, and FMCAD. He was Symposiums Chair at ISMVL 1999 and 2014, and the Topic Chair for &#8220;Formal Verification&#8221; at DATE 2004, DATE 2005, DAC 2010, and DAC 2011 and 2018. He was the General Chair of the IEEE European Test Symposium 2018 and the Program Chair of ICCAD 2020. He received best paper awards at the Haifa Verification Conference (HVC) in 2006, the Forum on specification &amp; Design Languages (FDL) in 2007, 2010 and 2020, the IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) in 2010, the Euromirco Digital System Design Conference 2020 and the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD) in 2013 and 2018. He received the Berninghausen Award for Excellence in Teaching in 2018.<\/p><p>He is a co-founder of the\u00a0<a href=\"http:\/\/www.informatik.uni-bremen.de\/gesy\/\">Graduate School of Embedded Systems<\/a>\u00a0and he is the coordinator of the\u00a0<a href=\"http:\/\/www.informatik.uni-bremen.de\/syde\/index.php?home\">Graduate School &#8220;System Design&#8221;<\/a>\u00a0funded within the German Excellence Initiative. He is a co-founder and the spokesperson of the\u00a0<a href=\"https:\/\/www.dsc-ub.de\/\">Data Science Center<\/a>\u00a0at the University of Bremen.<\/p><p>Rolf Drechsler served as an Associate Editor of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Very Large Scale Integration Systems, Chip, IET Cyber-Physical Systems: Theory &amp; Applications, International Journal on Multiple-Valued Logic and Soft Computing, and ACM Journal on Emerging Technologies in Computing Systems.<\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-869fb1c elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"869fb1c\" data-element_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-100 elementor-top-column elementor-element elementor-element-832fee5\" data-id=\"832fee5\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-ca33c19 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"ca33c19\" data-element_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-100 elementor-inner-column elementor-element elementor-element-662c745\" data-id=\"662c745\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-091e7b4 elementor-widget elementor-widget-heading\" data-id=\"091e7b4\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Transforming Cloud Infrastructure for the AI era<\/h2>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-5eec38a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5eec38a\" data-element_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-100 elementor-top-column elementor-element elementor-element-26a97d2\" data-id=\"26a97d2\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-fe4c390 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fe4c390\" data-element_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-inner-column elementor-element elementor-element-6ed5cf6\" data-id=\"6ed5cf6\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4830adb elementor-widget elementor-widget-image\" data-id=\"4830adb\" data-element_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 decoding=\"async\" src=\"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/10\/Navins-Pic.jpg?fit=250%2C250&amp;ssl=1\" title=\"Navins Pic\" alt=\"Navins Pic\" loading=\"lazy\" \/>\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<div class=\"elementor-element elementor-element-d268ffe elementor-widget elementor-widget-heading\" data-id=\"d268ffe\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Navin Bishnoi<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3658cd5 elementor-widget elementor-widget-heading\" data-id=\"3658cd5\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">India Country Manager, and AVP CCS (Compute & Custom Solutions)<\/h1>\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-inner-column elementor-element elementor-element-d05dac6\" data-id=\"d05dac6\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-817d18c elementor-widget elementor-widget-text-editor\" data-id=\"817d18c\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><span style=\"color: #000000;\"><strong>Abstract<\/strong><\/span><\/h3><p style=\"text-align: justify;\">Generative AI is taking the world by storm and unleashing the imagination of millions of people with exciting new applications and use cases for individuals and organizations. Enabling these applications need a huge hardware infrastructure, which needs to scale at fast pace, while keeping energy requirements in control. Join me to hear about HW components, scale-up and care-about, to be ready for AI era.<\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-01cce08 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"01cce08\" data-element_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-100 elementor-top-column elementor-element elementor-element-576e804\" data-id=\"576e804\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-5418300 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5418300\" data-element_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-100 elementor-inner-column elementor-element elementor-element-2652744\" data-id=\"2652744\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e25a152 elementor-widget elementor-widget-text-editor\" data-id=\"e25a152\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><strong>Biography<\/strong><\/h3><p style=\"text-align: justify;\">Navin is India Country Manager and AVP Compute &amp; Custom Solutions at Marvell India. As the India Country Manager, he oversees all business operations to deliver and continue to grow \/ improve, as well as represents the company externally. As an engineering head, he leads Compute and Custom ASIC Design for Infrastructure domain (covering Networking, Processor, Cloud, Automotive and AI\/ML applications). Prior to this, he has worked with IBM, Freescale, Cadence, and TI for automotive, consumer and custom ASIC designs. He had received his bachelor\u2019s degree in Electronics and Communication from NIT Surathkal. He has been an active member in EDA standards, Conferences, and Industry associations, to enable semiconductor eco-system development initiatives in India. He is the Founding member of ITC India and TTTC India, to drive the growth of DFT\/Test in India Semiconductor Eco-system and served as General Chair of ITC India for first 5 years. He is part of advisory committee for Karnataka state skilling committee as well as India Semiconductor Mission R&amp;D eco-system committee.<\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-e04a80a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"e04a80a\" data-element_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-100 elementor-top-column elementor-element elementor-element-eaa0f75\" data-id=\"eaa0f75\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-bf3ecf6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"bf3ecf6\" data-element_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-100 elementor-inner-column elementor-element elementor-element-edc6777\" data-id=\"edc6777\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-341250c elementor-widget elementor-widget-heading\" data-id=\"341250c\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Breaking the Thermal and Power Delivery Walls for 3DIC<\/h2>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-bd7e545 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"bd7e545\" data-element_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-100 elementor-top-column elementor-element elementor-element-952bb51\" data-id=\"952bb51\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-e3f4d19 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"e3f4d19\" data-element_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-inner-column elementor-element elementor-element-ed7fc53\" data-id=\"ed7fc53\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-75b862f elementor-widget elementor-widget-image\" data-id=\"75b862f\" data-element_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 decoding=\"async\" src=\"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/10\/file-4-2.jpeg?fit=250%2C250&amp;ssl=1\" title=\"file-4 (2)\" alt=\"file-4 (2)\" loading=\"lazy\" \/>\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<div class=\"elementor-element elementor-element-79c023c elementor-widget elementor-widget-heading\" data-id=\"79c023c\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Mircea R. Stan<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d69bffb elementor-widget elementor-widget-heading\" data-id=\"d69bffb\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Director of Computer Engineering<\/h1>\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-inner-column elementor-element elementor-element-39883f2\" data-id=\"39883f2\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-59eebb6 elementor-widget elementor-widget-text-editor\" data-id=\"59eebb6\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><span style=\"color: #000000;\"><strong>Abstract<\/strong><\/span><\/h3>\n<p style=\"text-align: justify;\">The semiconductor industry is poised to continue the historic Moore\u2019s law trend of doubling the level of integration every few years, even as the rate of doubling has slowed down and the virtuous cycle benefits of Dennard scaling have vanished. Once devices no longer scale laterally, the only way to continue to increase areal density is by going vertical using 2.5D and 3D integration. For now the community has embraced chiplets and interposer-based 2.5D solutions, and in the near future is poised to move ahead to 3DIC. However, 3DIC raises several fundamental difficulties in addition to the clear fabrication challenges: as the number of physical layers in a 3D-IC stack increases, from the present 2.5D multi-layer\n\nsolutions (with an interposer, or only a couple of layers), to true 3D many-layer stacks, the energy cycle problem of delivering power to and removing heat from the 3D stack become daunting. The fundamental reason for these thermal and power delivery walls is the mismatch between the volumetric (cubic) power consumption and heat dissipation in 3DIC, and the areal (quadratic) power delivery and heat removal through a 2D surface (top and\/or bottom of the 3D stack). As the number of layers in a 3DIC becomes larger so does the mismatch between 3D consumption and heat dissipation and 2D power delivery and cooling. This talk will present a framework to provide fundamental solutions to the 3DIC thermal and power delivery walls that are also practical. <\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-b676193 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b676193\" data-element_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-100 elementor-top-column elementor-element elementor-element-c91179c\" data-id=\"c91179c\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-0e5d64e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"0e5d64e\" data-element_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-100 elementor-inner-column elementor-element elementor-element-6f17175\" data-id=\"6f17175\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-36b730a elementor-widget elementor-widget-text-editor\" data-id=\"36b730a\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3><strong>Biography<\/strong><\/h3><p style=\"text-align: justify;\">Mircea R. Stan is teaching and doing research in the areas of AI hardware, Processing in Memory, Cyber-Physical Systems, Computational RFID, spintronics, and nanoelectronics. He is Director of Computer Engineering, leads the High-Performance Low-Power (HPLP) lab and is an associate director of the Center for Automata Processing (CAP). Prof. Stan received the Ph.D. (1996) and the M.S. (1994) degrees from UMass Amherst and the Diploma (1984) from the Politehnica University in Bucharest, Romania. Since 1996 he has been with the ECE Department at UVa, where he is now the Virginia Microelectronics Consortium (VMEC) endowed chair. He was a visiting faculty at UC Berkeley in 2004-2005, at IBM in 2000, and at Intel in 2002 and 1999. He received the 2018 Influential ISCA Paper Award (For 2003 paper \u201cTemperature-aware microarchitecture\u201d), the NSF CAREER award in 1997 and was a co-author on best paper awards at ASILOMAR19, LASCAS19, SELSE17, ISQED08, GLSVLSI06, ISCA03 and SHAMAN02 and IEEE Micro Top Picks in 2008 and 2003. He is Editor-in-Chief for the IEEE TVLSI and was Senior Editor for the IEEE TNano (2014-2023). Prof. Stan is a fellow of the IEEE, a member of ACM, and of Eta Kappa Nu, Phi Kappa Phi and Sigma Xi.<\/p>\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Smart Healthcare &#8211; Cybersecurity Perspectives Dr. Saraju P. Mohanty Department of Computer Science and Engineering University of North Texas, Denton, TX 76207, USA. Abstract: The healthcare system has evolved from traditional healthcare to smart healthcare with relentless research in the last few decades. The importance of the smart healthcare involving telemedicine, connected health, and mobile [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"jetpack-related-posts":[{"id":1043,"url":"https:\/\/ieee-ises.org\/2023\/sponsorship\/","url_meta":{"origin":217,"position":0},"title":"Sponsorship","author":"Northotech Solutions","date":"May 31, 2023","format":false,"excerpt":"IEEE International Symposium on Smart Electronic Systems (iSES) 2023, Sponsorship Information (http:\/\/www.ieee-ises.org\/2023) Sponsorship of an international conference represents an organization's innovations, developments, and capabilities of the world of eminent scientists and engineers who are from academia and industry. The opportunities of IEEE International Symposium on Smart Electronic Systems (iSES) sponsorship\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":455,"url":"https:\/\/ieee-ises.org\/2023\/preconference-tutorials\/","url_meta":{"origin":217,"position":1},"title":"Preconference Tutorials","author":"Northotech Solutions","date":"February 25, 2021","format":false,"excerpt":"Smart Wearable Technologies for Personalised Health Management Dr. Amit M. Joshi, MNIT Jaipur, India Abstract There has been substantial growth observed for wearable technologies in past few years due to increased interest in health and wellness from peoples. Wearable systems are a popular and appealing option in health care services\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":726,"url":"https:\/\/ieee-ises.org\/2023\/","url_meta":{"origin":217,"position":2},"title":"Home","author":"Northotech Solutions","date":"February 22, 2023","format":false,"excerpt":"Nirma University, Ahmedabad Event Date 18 - 20 Dec 2023 Event Location Nirma University, Ahmedabad Call Us +917971652402 Send Us a Mail usha.mehta@nirmauni.ac.in The primary objective of IEEE International Symposium on Smart Electronic Systems (IEEE \u2013 iSES) is to provide a platform for both hardware and software researchers to interact\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/01\/IEEE-iSES-2023_Banner-scaled.jpg?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/01\/IEEE-iSES-2023_Banner-scaled.jpg?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/01\/IEEE-iSES-2023_Banner-scaled.jpg?resize=700%2C400&ssl=1 2x, https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/01\/IEEE-iSES-2023_Banner-scaled.jpg?resize=1050%2C600&ssl=1 3x, https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/01\/IEEE-iSES-2023_Banner-scaled.jpg?resize=1400%2C800&ssl=1 4x"},"classes":[]},{"id":358,"url":"https:\/\/ieee-ises.org\/2023\/organizing-committee\/","url_meta":{"origin":217,"position":3},"title":"Organizing Committee","author":"Northotech Solutions","date":"February 15, 2021","format":false,"excerpt":"Usha MehtaGeneral Chair Nirma University, Ahmedabad, India Himanshu ThapliyalGeneral Chair University of Tennessee, Knoxville USA Srinivas KatkooriProgram Chair University of South Florida USA Anil RoyProgram Chair DAIICT, Gandhinagar, India Rajdeep NathProgram Vice-ChairVTT, Finland Robert BasmadjianSpecial Session ChairTU Clausthal, Germany Thinagaran PerumalSpecial Session ChairUniversiti Putra, Malaysia Utsav BanerjeePanel ChairIISC Bangalore, India\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/09\/Rajdeep_nath-scaled.jpg?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/09\/Rajdeep_nath-scaled.jpg?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/09\/Rajdeep_nath-scaled.jpg?resize=700%2C400&ssl=1 2x, https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/09\/Rajdeep_nath-scaled.jpg?resize=1050%2C600&ssl=1 3x, https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/09\/Rajdeep_nath-scaled.jpg?resize=1400%2C800&ssl=1 4x"},"classes":[]},{"id":845,"url":"https:\/\/ieee-ises.org\/2023\/places-to-see\/","url_meta":{"origin":217,"position":4},"title":"Places To See","author":"Northotech Solutions","date":"February 23, 2023","format":false,"excerpt":"Riverfront Science city Sarkhej Roza Kankariya lake Rani no Hajiro Jhulta Minara Hutheesing Jain Temple Gandhi Ashram Jama Masjid Ahmedabad Auto-World-Vintage-Car-Museum Adalj stepwell Akshardham","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"Science city","src":"https:\/\/i0.wp.com\/ieee-ises.org\/2023\/wp-content\/uploads\/2023\/02\/Science-city.jpg?w=361&h=203&ssl=1&resize=350%2C200","width":350,"height":200},"classes":[]}],"_links":{"self":[{"href":"https:\/\/ieee-ises.org\/2023\/wp-json\/wp\/v2\/pages\/217"}],"collection":[{"href":"https:\/\/ieee-ises.org\/2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ieee-ises.org\/2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ieee-ises.org\/2023\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/ieee-ises.org\/2023\/wp-json\/wp\/v2\/comments?post=217"}],"version-history":[{"count":96,"href":"https:\/\/ieee-ises.org\/2023\/wp-json\/wp\/v2\/pages\/217\/revisions"}],"predecessor-version":[{"id":1782,"href":"https:\/\/ieee-ises.org\/2023\/wp-json\/wp\/v2\/pages\/217\/revisions\/1782"}],"wp:attachment":[{"href":"https:\/\/ieee-ises.org\/2023\/wp-json\/wp\/v2\/media?parent=217"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}