Location via proxy:   
[Report a bug]   [Manage cookies]                
��<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:x="urn:schemas-microsoft-com:office:excel" xmlns:dt="uuid:C2F41010-65B3-11d1-A29F-00AA00C14882" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=unicode"> <meta name=ProgId content=Word.Document> <meta name=Generator content="Microsoft Word 15"> <meta name=Originator content="Microsoft Word 15"> <link rel=File-List href="index.fld/filelist.xml"> <link rel=Edit-Time-Data href="index.fld/editdata.mso"> <!--[if !mso]> <style> v\:* {behavior:url(#default#VML);} o\:* {behavior:url(#default#VML);} w\:* {behavior:url(#default#VML);} .shape {behavior:url(#default#VML);} </style> <![endif]--> <title>Sumit Kumar Jha, Eminent Scholar Chair Professor of Computer Science, Florida International University</title> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>Sumit Jha</o:Author> <o:Template>Normal</o:Template> <o:LastAuthor>Sumit Jha</o:LastAuthor> <o:Revision>592</o:Revision> <o:TotalTime>595</o:TotalTime> <o:Created>2020-10-27T18:24:00Z</o:Created> <o:LastSaved>2024-09-24T02:31:00Z</o:LastSaved> <o:Pages>10</o:Pages> <o:Words>3607</o:Words> <o:Characters>20565</o:Characters> <o:Lines>171</o:Lines> <o:Paragraphs>48</o:Paragraphs> <o:CharactersWithSpaces>24124</o:CharactersWithSpaces> <o:Version>16.00</o:Version> </o:DocumentProperties> <o:CustomDocumentProperties> <o:GrammarlyDocumentId dt:dt="string">ed3d38a32f415cbca62ce2c3c6d2550fc36e61d35c601685f4dec18196944cd4</o:GrammarlyDocumentId> </o:CustomDocumentProperties> <o:OfficeDocumentSettings> <o:AllowPNG/> </o:OfficeDocumentSettings> </xml><![endif]--> <link rel=dataStoreItem href="index.fld/item0007.xml" target="index.fld/props008.xml"> <link rel=themeData href="index.fld/themedata.thmx"> <link rel=colorSchemeMapping href="index.fld/colorschememapping.xml"> <!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Print</w:View> <w:Zoom>228</w:Zoom> <w:SpellingState>Clean</w:SpellingState> <w:GrammarState>Clean</w:GrammarState> <w:TrackMoves>false</w:TrackMoves> <w:TrackFormatting/> <w:ValidateAgainstSchemas/> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF/> <w:LidThemeOther>EN-US</w:LidThemeOther> <w:LidThemeAsian>X-NONE</w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables/> <w:SplitPgBreakAndParaMark/> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> <m:mathPr> <m:mathFont m:val="Cambria Math"/> <m:brkBin m:val="before"/> <m:brkBinSub m:val="&#45;-"/> <m:smallFrac m:val="off"/> <m:dispDef/> <m:lMargin m:val="0"/> <m:rMargin m:val="0"/> <m:defJc m:val="centerGroup"/> <m:wrapIndent m:val="1440"/> <m:intLim m:val="subSup"/> <m:naryLim m:val="undOvr"/> </m:mathPr></w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="false" DefSemiHidden="false" DefQFormat="false" DefPriority="99" LatentStyleCount="376"> <w:LsdException Locked="false" Priority="0" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 2"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 3"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 4"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 5"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 6"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 7"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 8"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 9"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 7"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 8"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 9"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 1"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 2"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 3"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 4"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 5"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 6"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 7"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 8"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 9"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal Indent"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footnote text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="header"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footer"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index heading"/> <w:LsdException Locked="false" Priority="35" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="caption"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="table of figures"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="envelope address"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="envelope return"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footnote reference"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation reference"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="line number"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="page number"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="endnote reference"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="endnote text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="table of authorities"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="macro"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="toa heading"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 5"/> <w:LsdException Locked="false" Priority="10" QFormat="true" Name="Title"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Closing"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Signature"/> <w:LsdException Locked="false" Priority="1" SemiHidden="true" UnhideWhenUsed="true" Name="Default Paragraph Font"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Message Header"/> <w:LsdException Locked="false" Priority="11" QFormat="true" Name="Subtitle"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Salutation"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Date"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text First Indent"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text First Indent 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Note Heading"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Block Text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Hyperlink"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="FollowedHyperlink"/> <w:LsdException Locked="false" Priority="22" QFormat="true" Name="Strong"/> <w:LsdException Locked="false" Priority="20" QFormat="true" Name="Emphasis"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Document Map"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Plain Text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="E-mail Signature"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Top of Form"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Bottom of Form"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal (Web)"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Acronym"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Address"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Cite"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Code"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Definition"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Keyboard"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Preformatted"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Sample"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Typewriter"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Variable"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal Table"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation subject"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="No List"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 7"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 8"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 7"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 8"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Contemporary"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Elegant"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Professional"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Subtle 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Subtle 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Balloon Text"/> <w:LsdException Locked="false" Priority="39" Name="Table Grid"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Theme"/> <w:LsdException Locked="false" SemiHidden="true" Name="Placeholder Text"/> <w:LsdException Locked="false" Priority="1" QFormat="true" Name="No Spacing"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading"/> <w:LsdException Locked="false" Priority="61" Name="Light List"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3"/> <w:LsdException Locked="false" Priority="70" Name="Dark List"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 1"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 1"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 1"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 1"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 1"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 1"/> <w:LsdException Locked="false" SemiHidden="true" Name="Revision"/> <w:LsdException Locked="false" Priority="34" QFormat="true" Name="List Paragraph"/> <w:LsdException Locked="false" Priority="29" QFormat="true" Name="Quote"/> <w:LsdException Locked="false" Priority="30" QFormat="true" Name="Intense Quote"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 1"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 1"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 1"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 1"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 1"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 1"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 1"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 1"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 2"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 2"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 2"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 2"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 2"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 2"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 2"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 2"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 2"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 2"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 2"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 2"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 2"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 2"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 3"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 3"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 3"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 3"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 3"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 3"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 3"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 3"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 3"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 3"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 3"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 3"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 3"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 3"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 4"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 4"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 4"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 4"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 4"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 4"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 4"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 4"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 4"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 4"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 4"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 4"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 4"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 4"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 5"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 5"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 5"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 5"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 5"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 5"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 5"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 5"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 5"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 5"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 5"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 5"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 5"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 5"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 6"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 6"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 6"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 6"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 6"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 6"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 6"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 6"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 6"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 6"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 6"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 6"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 6"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 6"/> <w:LsdException Locked="false" Priority="19" QFormat="true" Name="Subtle Emphasis"/> <w:LsdException Locked="false" Priority="21" QFormat="true" Name="Intense Emphasis"/> <w:LsdException Locked="false" Priority="31" QFormat="true" Name="Subtle Reference"/> <w:LsdException Locked="false" Priority="32" QFormat="true" Name="Intense Reference"/> <w:LsdException Locked="false" Priority="33" QFormat="true" Name="Book Title"/> <w:LsdException Locked="false" Priority="37" SemiHidden="true" UnhideWhenUsed="true" Name="Bibliography"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="TOC Heading"/> <w:LsdException Locked="false" Priority="41" Name="Plain Table 1"/> <w:LsdException Locked="false" Priority="42" Name="Plain Table 2"/> <w:LsdException Locked="false" Priority="43" Name="Plain Table 3"/> <w:LsdException Locked="false" Priority="44" Name="Plain Table 4"/> <w:LsdException Locked="false" Priority="45" Name="Plain Table 5"/> <w:LsdException Locked="false" Priority="40" Name="Grid Table Light"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 1"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 1"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 1"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 1"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 1"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 1"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 1"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 2"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 2"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 2"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 2"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 2"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 2"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 2"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 3"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 3"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 3"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 3"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 3"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 3"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 3"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 4"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 4"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 4"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 4"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 4"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 4"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 4"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 5"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 5"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 5"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 5"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 5"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 5"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 5"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 6"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 6"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 6"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 6"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 6"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 6"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 6"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 1"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 1"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 1"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 1"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 1"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 1"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 1"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 2"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 2"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 2"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 2"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 2"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 2"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 2"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 3"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 3"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 3"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 3"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 3"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 3"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 3"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 4"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 4"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 4"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 4"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 4"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 4"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 4"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 5"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 5"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 5"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 5"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 5"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 5"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 5"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 6"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 6"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 6"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 6"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 6"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 6"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Mention"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Smart Hyperlink"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Hashtag"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Unresolved Mention"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Smart Link"/> </w:LatentStyles> </xml><![endif]--> <style> <!--p.P1 {-webkit-text-stroke: #000000;} p.P3 {-webkit-text-stroke: #000000;} p.P4 {-webkit-text-stroke: #000000;} p.P5 {-webkit-text-stroke: #000000;} p.P6 {-webkit-text-stroke: #000000;} p.P7 {-webkit-text-stroke: #0000e3;} p.P8 {-webkit-text-stroke: #000000;} span.S1 {font-kerning: none;} span.S2 {font-kerning: none;} span.S3 {font-kerning: none;} span.S4 {font-kerning: none;} span.S5 {font-kerning: none; -webkit-text-stroke: 0px #000000;} span.S6 {font-kerning: none; -webkit-text-stroke: 0px #0000e3;} @font-face {mso-font-alt:������������Page Element: Generic - Proofing [#0000000000000000];} /* Font Definitions */ @font-face {font-family:Wingdings; panose-1:5 0 0 0 0 0 0 0 0 0; mso-font-charset:77; mso-generic-font-family:decorative; mso-font-pitch:variable; mso-font-signature:3 0 0 0 -2147483647 0;} @font-face {font-family:"Cambria Math"; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:0; mso-generic-font-family:roman; mso-font-pitch:variable; mso-font-signature:-536870145 1107305727 0 0 415 0;} @font-face {font-family:"Calibri Light"; panose-1:2 15 3 2 2 2 4 3 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:-469750017 -1040178053 9 0 511 0;} @font-face {font-family:"Lucida Grande"; panose-1:2 11 6 0 4 5 2 2 2 4; mso-font-alt:����������������rande; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:-520090897 1342218751 0 0 447 0;} @font-face {font-family:Times; panose-1:2 11 6 4 2 2 2 2 2 4; mso-font-alt:"Times New Roman"; mso-font-charset:0; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:-536870145 1342185562 0 0 415 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} h1 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 1 Char"; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; mso-outline-level:1; font-size:24.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; font-weight:bold;} h2 {mso-style-noshow:yes; mso-style-priority:9; mso-style-qformat:yes; mso-style-link:"Heading 2 Char"; mso-style-next:Normal; margin-top:2.0pt; margin-right:0in; margin-bottom:0in; margin-left:0in; mso-pagination:widow-orphan lines-together; page-break-after:avoid; mso-outline-level:2; font-size:13.0pt; font-family:"Calibri Light",sans-serif; mso-ascii-font-family:"Calibri Light"; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:"Calibri Light"; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#2F5496; mso-themecolor:accent1; mso-themeshade:191; font-weight:normal;} h3 {mso-style-noshow:yes; mso-style-priority:9; mso-style-qformat:yes; mso-style-link:"Heading 3 Char"; mso-style-next:Normal; margin-top:2.0pt; margin-right:0in; margin-bottom:0in; margin-left:0in; mso-pagination:widow-orphan lines-together; page-break-after:avoid; mso-outline-level:3; font-size:12.0pt; font-family:"Calibri Light",sans-serif; mso-ascii-font-family:"Calibri Light"; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:"Calibri Light"; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#1F3763; mso-themecolor:accent1; mso-themeshade:127; font-weight:normal;} a:link, span.MsoHyperlink {mso-style-priority:99; color:blue; text-decoration:underline; text-underline:single;} a:visited, span.MsoHyperlinkFollowed {mso-style-noshow:yes; mso-style-priority:99; color:purple; text-decoration:underline; text-underline:single;} p {mso-style-noshow:yes; mso-style-priority:99; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman";} span.Heading1Char {mso-style-name:"Heading 1 Char"; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 1"; mso-ansi-font-size:16.0pt; mso-bidi-font-size:16.0pt; font-family:"Calibri Light",sans-serif; mso-ascii-font-family:"Calibri Light"; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:"Calibri Light"; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#2F5496; mso-themecolor:accent1; mso-themeshade:191;} span.Heading2Char {mso-style-name:"Heading 2 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 2"; mso-ansi-font-size:13.0pt; mso-bidi-font-size:13.0pt; font-family:"Calibri Light",sans-serif; mso-ascii-font-family:"Calibri Light"; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:"Calibri Light"; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#2F5496; mso-themecolor:accent1; mso-themeshade:191;} span.Heading3Char {mso-style-name:"Heading 3 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 3"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Calibri Light",sans-serif; mso-ascii-font-family:"Calibri Light"; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:"Calibri Light"; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#1F3763; mso-themecolor:accent1; mso-themeshade:127;} p.msonormal0, li.msonormal0, div.msonormal0 {mso-style-name:msonormal; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.p1, li.p1, div.p1 {mso-style-name:p1; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:9.0pt; margin-left:0in; mso-pagination:widow-orphan; font-size:16.0pt; font-family:Times; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:black;} p.p3, li.p3, div.p3 {mso-style-name:p3; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:9.0pt; margin-left:0in; mso-pagination:widow-orphan; font-size:9.0pt; font-family:Times; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:black;} p.p4, li.p4, div.p4 {mso-style-name:p4; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; text-indent:-.25in; mso-pagination:widow-orphan; font-size:9.0pt; font-family:Times; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:black;} p.p5, li.p5, div.p5 {mso-style-name:p5; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:1.0in; text-indent:-.25in; mso-pagination:widow-orphan; font-size:9.0pt; font-family:Times; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:black;} p.p6, li.p6, div.p6 {mso-style-name:p6; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:9.0pt; margin-left:0in; mso-pagination:widow-orphan; font-size:18.0pt; font-family:Times; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:black;} p.p7, li.p7, div.p7 {mso-style-name:p7; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:9.0pt; margin-left:0in; mso-pagination:widow-orphan; font-size:9.0pt; font-family:Times; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:#0000E3;} p.p8, li.p8, div.p8 {mso-style-name:p8; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; margin-top:0in; margin-right:0in; margin-bottom:4.5pt; margin-left:0in; mso-pagination:widow-orphan; font-size:9.0pt; font-family:Times; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-bidi-font-family:"Times New Roman"; color:black;} span.s2 {mso-style-name:s2; mso-style-unhide:no; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt; font-family:"Lucida Grande",sans-serif; mso-ascii-font-family:"Lucida Grande"; mso-hansi-font-family:"Lucida Grande"; mso-bidi-font-family:"Lucida Grande";} span.s3 {mso-style-name:s3; mso-style-unhide:no; mso-ansi-font-size:7.0pt; mso-bidi-font-size:7.0pt; font-family:"Times New Roman",serif; mso-ascii-font-family:"Times New Roman"; mso-hansi-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman";} span.s4 {mso-style-name:s4; mso-style-unhide:no; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt; font-family:"Courier New"; mso-ascii-font-family:"Courier New"; mso-hansi-font-family:"Courier New"; mso-bidi-font-family:"Courier New";} span.s5 {mso-style-name:s5; mso-style-unhide:no; color:black;} span.s6 {mso-style-name:s6; mso-style-unhide:no; color:#0000E3; text-decoration:underline; text-underline:single;} span.s1 {mso-style-name:s1; mso-style-unhide:no;} span.apple-converted-space {mso-style-name:apple-converted-space; mso-style-unhide:no;} span.c9dxtc {mso-style-name:c9dxtc; mso-style-unhide:no;} span.SpellE {mso-style-name:""; mso-spl-e:yes;} span.GramE {mso-style-name:""; mso-gram-e:yes;} .MsoChpDefault {mso-style-type:export-only; mso-default-props:yes; font-size:10.0pt; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt; mso-font-kerning:0pt; mso-ligatures:none;} @page WordSection1 {size:8.5in 11.0in; margin:1.0in 1.0in 1.0in 1.0in; mso-header-margin:.5in; mso-footer-margin:.5in; mso-paper-source:0;} div.WordSection1 {page:WordSection1;} /* List Definitions */ @list l0 {mso-list-id:195852700; mso-list-template-ids:1883143248;} @list l0:level1 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level2 {mso-level-number-format:bullet; mso-level-text:o; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:"Courier New"; mso-bidi-font-family:"Times New Roman";} @list l0:level3 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Wingdings;} @list l0:level4 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Wingdings;} @list l0:level5 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Wingdings;} @list l0:level6 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Wingdings;} @list l0:level7 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Wingdings;} @list l0:level8 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Wingdings;} @list l0:level9 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Wingdings;} @list l1 {mso-list-id:1741705687; mso-list-template-ids:-186985396;} @list l1:level1 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level2 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level3 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level4 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level5 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level6 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level7 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level8 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level9 {mso-level-number-format:bullet; mso-level-text:��; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} ol {margin-bottom:0in;} ul {margin-bottom:0in;} --> </style> <!--[if gte mso 10]> <style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman",serif;} </style> <![endif]--><!-- Global site tag (gtag.js) - Google Analytics --> <meta http-equiv=Content-Style-Type content="text/css"> <meta name=CocoaVersion content=1894.6> <!--[if gte mso 9]><xml> <o:shapedefaults v:ext="edit" spidmax="1027"/> </xml><![endif]--><!--[if gte mso 9]><xml> <o:shapelayout v:ext="edit"> <o:idmap v:ext="edit" data="1"/> </o:shapelayout></xml><![endif]--> </head> <body lang=EN-US link=blue vlink=purple style='tab-interval:.5in;word-wrap: break-word'> <div class=WordSection1> <p class=p1><!--[if gte vml 1]><v:shapetype id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f"> <v:stroke joinstyle="miter"/> <v:formulas> <v:f eqn="if lineDrawn pixelLineWidth 0"/> <v:f eqn="sum @0 1 0"/> <v:f eqn="sum 0 0 @1"/> <v:f eqn="prod @2 1 2"/> <v:f eqn="prod @3 21600 pixelWidth"/> <v:f eqn="prod @3 21600 pixelHeight"/> <v:f eqn="sum @0 0 1"/> <v:f eqn="prod @6 1 2"/> <v:f eqn="prod @7 21600 pixelWidth"/> <v:f eqn="sum @8 21600 0"/> <v:f eqn="prod @7 21600 pixelHeight"/> <v:f eqn="sum @10 21600 0"/> </v:formulas> <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/> <o:lock v:ext="edit" aspectratio="t"/> </v:shapetype><v:shape id="Picture_x0020_1" o:spid="_x0000_s1026" type="#_x0000_t75" style='position:absolute;margin-left:6.1pt;margin-top:0;width:104.75pt; height:104.6pt;z-index:251658240;visibility:visible;mso-wrap-style:square; mso-width-percent:0;mso-height-percent:0;mso-wrap-distance-left:9pt; mso-wrap-distance-top:0;mso-wrap-distance-right:9pt; mso-wrap-distance-bottom:0;mso-position-horizontal:absolute; mso-position-horizontal-relative:text;mso-position-vertical:absolute; mso-position-vertical-relative:text;mso-width-percent:0;mso-height-percent:0; mso-width-relative:page;mso-height-relative:page'> <v:imagedata src="index.fld/image002.jpg" o:title=""/> <w:wrap type="square"/> </v:shape><![endif]--><![if !vml]><img width=105 height=105 src="index.fld/image002.jpg" align=left hspace=12 v:shapes="Picture_x0020_1"><![endif]><span class=s1><b><span style='mso-bidi-font-size:9.0pt'>Sumit Kumar Jha</span></b></span><span class=s1><span style='mso-bidi-font-size:9.0pt'>&nbsp;</span></span><span style='mso-bidi-font-size:9.0pt'><br> <span class=s1>Eminent Scholar Chair Professor</span> of <span class=s1>Computer Science</span><br> <span class=s1>School of Computing and Information Science</span><br> <span class=s1>Florida International University</span><o:p></o:p></span></p> <p class=p1><o:p>&nbsp;</o:p></p> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in'><span class=s1><span style='font-size:18.0pt;font-family:Times;mso-fareast-font-family: "Times New Roman";color:black'>Research</span></span><span style='font-size: 18.0pt;font-family:Times;mso-fareast-font-family:"Times New Roman";color:black'><o:p></o:p></span></h1> <p class=p3><span class=s1><span style='font-size:12.0pt'>My research interests lie in the following areas:</span></span><span class=apple-converted-space><span style='font-size:12.0pt'>&nbsp;</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Artificial Intelligence</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Logic and Automata Theory</span><o:p></o:p></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Quantum Computing</span></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Emerging Architectures</span><o:p></o:p></span></p> <p class=p4><span class=s1><span style='font-size:12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='margin-left:0in;text-indent:0in'><span class=s1><span style='font-size:12.0pt'>I am always keen on mentoring high-school researchers, undergraduate researchers, MS thesis students, Ph.D. dissertation students, and post-doctoral researchers. <o:p></o:p></span></span></p> <p class=p4 style='margin-left:0in;text-indent:0in'><span class=s1><span style='font-size:12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p3 style='text-align:justify'><span class=s1><span style='font-size: 12.0pt'>Principal Investigator for $15 million in awarded projects since 2014, including DARPA GARD, AFRL ML-RCP, ONR Science of AI, Department of Energy EXPRESS, NSF Scalable Parallelism in the Extreme (SPX), NSF Software and Hardware Foundations (SHF), NSF Principles and Practice of Scalable Systems (PPoSS), NSF Formal Methods in the Field (FMitF), NSF Secure and Trustworthy Computing (SaTC), National Nuclear Security Administration (NNSA), Department of Energy (DOE) ASCR RENEW, and AFOSR Young Investigator Program. </span><o:p></o:p></span></p> <p class=p3 style='text-align:justify'><span class=s1><o:p>&nbsp;</o:p></span></p> <p class=p3><span class=s1><b><span style='font-size:12.0pt'>Citizenship</span></b></span><span class=s1><span style='font-size:12.0pt'>: United States<o:p></o:p></span></span></p> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in'><span style='font-weight:normal'><br> </span><span class=s1><span style='font-size:18.0pt;font-family:Times; mso-fareast-font-family:"Times New Roman";color:black'>Educational Background</span></span><span style='font-size:18.0pt;font-family:Times;mso-fareast-font-family:"Times New Roman"; color:black'><o:p></o:p></span></h1> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Ph.D.</span></span><span class=s1><span style='font-size:12.0pt'>, Computer Science, Carnegie Mellon University (August 2010)<o:p></o:p></span></span></p> <p class=p4 style='margin-left:1.0in;text-indent:0in'><span class=s1><span style='font-size:12.0pt'>Dissertation: <b><i>Model Validation and Discovery of Complex Stochastic Systems</i></b> Advisor: Professor Christopher James Langmead&nbsp;</span></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>B. Tech. (Hons.) in Computer Science and Engineering, Indian Institute of Technology (IIT) Kharagpur, India (May 2004)</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p3><o:p>&nbsp;</o:p></p> <p class=p6><span class=s1><b>Selected Publications</b></span></p> <p class=p4><span class=s1><span style='font-size:12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p style='margin-left:.5in;text-align:justify;text-indent:-.25in'><span class=s2><span style='mso-ansi-font-size:12.0pt;mso-bidi-font-size:12.0pt; font-family:Times'>�</span></span><span class=s3><span style='mso-ansi-font-size: 12.0pt;mso-bidi-font-size:12.0pt;font-family:Times'>&nbsp;&nbsp;&nbsp;&nbsp;C. Walker, SK Jha, S. Chen, and R. <span class=SpellE>Ewetz</span>, Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision. In 38th AAAI International Conference on Artificial Intelligence (<b>AAAI</b>) 2024. <a href="papers/2024_AAAI_Jha_Small_IG_ExplainableAI.pdf"><span style='font-family:"Times New Roman",serif'>Download <span class=SpellE>Arxiv</span></span></a><span style='mso-spacerun:yes'>� </span><a href="papers/2024_Jha_AAAI_IDG.pdf"><span style='font-family:"Times New Roman",serif'>Download PDF</span></a> </span></span><span class=s2><span style='mso-ansi-font-size:12.0pt;mso-bidi-font-size:12.0pt; font-family:Times;mso-bidi-font-family:"Times New Roman"'><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. <span class=SpellE>Thijssen</span>, M. Rashed, S. <span class=SpellE>Singireddy</span>, SK Jha, and R. Ewetz, </span></span><span style='font-size:12.0pt;color:windowtext'>Equivalence Checking for Flow-Based Computing using Iterative SAT Solving. </span><span class=s1><span style='font-size:12.0pt'>In 43rd </span></span><span style='font-size:12.0pt'>International Conference on Computer-Aided Design (<b>ICCAD</b>) 2024. </span><span class=s3><span style='font-size:12.0pt;font-family:Times; color:windowtext'>Download PDF </span></span></p> <p style='margin-left:.5in;text-align:justify;text-indent:-.25in'><span style='color:black'>� <span style='mso-tab-count:1'>��� </span>E. Bethany, M. Bethany, J.A. <span class=SpellE>Nolazco</span> Flores, S.K. Jha, and P. <span class=SpellE>Najafirad</span>, Jailbreaking Large Language Models with Symbolic Mathematics. Preprint, 2024.</span><span class=apple-converted-space><span style='mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:major-fareast; color:black'>&nbsp;</span></span><span style='color:black'><a href="https://arxiv.org/pdf/2409.11445" target="_new"><span style='mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:major-fareast'>Download<span class=apple-converted-space>&nbsp;</span>PDF</span></a></span><span style='font-family:Times'><o:p></o:p></span></p> <p style='margin-left:.5in;text-align:justify;text-indent:-.25in'><span style='color:black'>� <span style='mso-tab-count:1'>��� </span>A. Nunez, N.T. Islam, S.K. Jha, and P. <span class=SpellE>Najafirad</span>, <span class=SpellE>AutoSafeCoder</span>: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing. Preprint, 2024. <a href="https://arxiv.org/pdf/2409.10737" target="_new"><span style='mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:major-fareast'>Download<span class=apple-converted-space>&nbsp;</span>PDF</span></a></span><span class=apple-converted-space><span style='mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast;color:black'>&nbsp;</span></span><span style='font-family:Times'> <o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;SK Jha, S. Jha, R. <span class=SpellE>Ewetz</span>, and A. Velasquez, On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers. In 61st ACM Design Automation Conference (<b>DAC</b>), 2024. Download PDF</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times'><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. <span class=SpellE>Thijssen</span>, M. Rashed, SK Jha, and R. <span class=SpellE>Ewetz</span>, Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions. In 61st ACM Design Automation Conference (<b>DAC</b>), 2024. Download PDF<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;M. Rashed, S. <span class=SpellE>Thijssen</span>, D. Simon, SK Jha, and R. Ewetz, Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation. In 61st ACM Design Automation Conference (<b>DAC</b>), 2024. Download PDF<o:p></o:p></span></span></p> <p class=p4 style='margin-left:0in;text-align:justify;text-indent:0in'><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. K. Jha, S. Jha, M. Rashed, R. <span class=SpellE>Ewetz</span>, and A. Velasquez, Automated Synthesis of Hardware Designs using Symbolic Feedback and Grammar Constrained Decoding in Large Language Models. In 2024 IEEE National Aerospace and Electronics Conference (NAECON), 2024, Fairborn, OH, USA. <a href="papers/2024_Jha_NAECON_LLM_Verilog.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. K. Jha, S. Jha, R. <span class=SpellE>Ewetz</span>, and A. Velasquez, Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models. In 3rd International Conference on Assured Autonomy (ICAA), 2024, Nashville, TN. Download PDF<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;W. English, D. Simon, M. R. Ahmed, S. K. Jha, and R. <span class=SpellE>Ewetz</span>, Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation. In 3rd International Conference on Assured Autonomy (ICAA), 2024, Nashville, TN. Download PDF<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;M. S. Hossain, C. Walker, S. K. Jha, and R. <span class=SpellE>Ewetz</span>, Out-of-Distribution Detection for Contrastive Models using Angular Distance Measures. In 23rd International Conference on Machine Learning and Applications (ICMLA), 2024, Miami, Florida. Download PDF<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;W. English, D. Simon, S. K. Jha, and R. <span class=SpellE>Ewetz</span>, NSP: A Neuro-Symbolic Natural Language Navigational Planner. In 23rd International Conference on Machine Learning and Applications (ICMLA), 2024, Miami, Florida. <a href="papers/2024_Jha_NeuroSymbolicPlanning_MILCOM_ICAA_2024.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;L. Pullum, S. K. Jha, and R. <span class=SpellE>Ewetz</span>, Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics. In IEEE Military Communications Conference (MILCOM) 2024, 28 October  1 November 2024, Washington, DC, USA. <a href="papers/2024_Jha_MILCOM_ReconnaisanceLogic.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;M. Hossain, M. Ahmed, L. Pullum, R. <span class=SpellE>Ewetz</span>, SK Jha, Neuro-Symbolic Representations of 3D Scenes using Universal Scene Description Language. In Neuro-Symbolic Learning and Reasoning in the era of Large Language Models Workshop co-located with the 38th AAAI International Conference on Artificial Intelligence (<b>AAAI</b>) 2024. <a href="papers/2024_AAAI_Workshop_Jha_NeuroSymbolic_Workshop_Neuro_Symbolic_Representations_of_Objects_using_USD.pdf">Download PDF</a></span></span><span style='font-size:12.0pt;color:windowtext'><br style='mso-special-character:line-break'> <![if !supportLineBreakNewLine]><br style='mso-special-character:line-break'> <![endif]><span class=s3><span style='mso-ansi-font-size:12.0pt;mso-bidi-font-size: 12.0pt;font-family:Times'><o:p></o:p></span></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;I. <span class=SpellE>Alkhouri</span>, SK Jha, R. <span class=SpellE>Ewetz</span>, S. Jha, and A. Velasquez, </span></span><span style='font-size:12.0pt; color:windowtext'>Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences. In IEEE Transactions on Artificial Intelligence <b>(IEEE TAI</b>) 2024. Download PDF <span class=s3><span style='mso-ansi-font-size: 12.0pt;mso-bidi-font-size:12.0pt;font-family:Times'><o:p></o:p></span></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;<span class=SpellE>Thijssen</span>, M. Rashed, SK Jha, and R. <span class=SpellE>Ewetz</span>, </span></span><span style='font-size:12.0pt;color:windowtext'>PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing Systems, IEEE Trans. on Computer-aided Design of Integrated Circuits and Systems <b>(IEEE TCAD</b>) 2024. <a href="papers/2024_Jha_TCAD_PathBasedComputing.pdf">Download PDF</a></span></p> <p class=p4 style='text-align:justify'><span style='font-size:12.0pt; color:windowtext'><o:p>&nbsp;</o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. <span class=SpellE>Thijssen</span>, M. Rashed, SK Jha, and R. <span class=SpellE>Ewetz</span>, Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms, In 29th IEEE/ACM Asia and South Pacific Design Automation Conference (<b>ASP-DAC</b>) 2024. <a href="papers/2024_ASPDAC_Jha_Towards%20Area-Efficient%20Path-Based%20In-Memory%20Computing%20using%20Graph%20Isomorphisms.pdf">Download PDF</a>.</span></span><span class=s3><span style='font-size:12.0pt;font-family: Times'><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. <span class=SpellE>Thijssen</span>, M. Rashed, SK Jha, and R. <span class=SpellE>Ewetz</span>, READ-based In-Memory Computing using Sentential Decision Diagrams, In 29th IEEE/ACM Asia and South Pacific Design Automation Conference (<b>ASP-DAC</b>) 2024. <a href="papers/2024_ASPDAC_Jha_READ-based%20In-Memory%20Computing%20using%20Sentential%20Decision%20Diagrams.pdf">Download PDF</a>.<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;Kavita Kumari, <span class=SpellE>Murtuza</span> <span class=SpellE>Jadliwala</span>, Sumit Kumar Jha, Anindya <span class=SpellE>Maiti</span>, Towards a Game-theoretic Understanding of Explanation-based Membership Inference Attacks, In 15th Conference on Game Theory and AI for Security (<span class=SpellE>GameSec</span>) 2024. <a href="papers/2024_Jha_GameTheoretic_MembershipInferenceAttack_ExplainableAI.pdf">Download PDF</a>.<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp; </span></span><span style='font-size:12.0pt;color:windowtext'>J. Brogan, O. <span class=SpellE>Kotevska</span>, A. Torres, M. Adams, and S. K. Jha, Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential Equations. In 2024 IEEE International Workshop on Machine Learning for Signal Processing, (MLSP) 2024.&nbsp;<a href="papers/00_2024_Sumit_Jha_RobustAI_EM_Signals_Spectrogram-2.pdf">Download PDF</a>.<span class=s3><span style='mso-ansi-font-size:12.0pt;mso-bidi-font-size: 12.0pt;font-family:Times'><o:p></o:p></span></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;SK Jha, S. Jha, R. <span class=SpellE>Ewetz</span>, and A. Velasquez, Neural </span></span><span style='font-size:12.0pt;color:windowtext'>Stochastic Differential Equations<span class=s3><span style='mso-ansi-font-size:12.0pt;mso-bidi-font-size:12.0pt; font-family:Times'> for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. In IEEE Military Communications Conference (<b>MILCOM</b>) 2023. <a href="papers/2023%20MILCOM%20AI%20for%20Electromagnetic%20EM%20Data%202023%20Jha.pdf">Download <span class=SpellE>Arxiv</span></a><span style='mso-spacerun:yes'>���� </span><a href="papers/2023_Jha_MILCOM_Planning.pdf">Download PDF</a></span></span></span><span class=s3><span style='font-size:12.0pt;font-family:Times'><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;SK Jha, S. Jha, P. Lincoln, Nathaniel D. Bastian, A. Velasquez, R. <span class=SpellE>Ewetz</span>, and S. <span class=SpellE>Neema</span>, Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. In IEEE Military Communications Conference (<b>MILCOM</b>) 2023. <a href="papers/2023%20MILCOM%20Dehallucinating%20LLMs%20using%20Formal%20Methods.pdf">Download <span class=SpellE>Arxiv</span></a><span style='mso-spacerun:yes'>���� </span><a href="papers/2023_Jha_MILCOM_Planning.pdf">Download PDF </a><span style='mso-spacerun:yes'>�</span></span></span><span class=s1><span style='font-size:12.0pt'>(</span></span><span class=s1><span style='font-size: 12.0pt;color:red'>BEST PAPER CANDIDATE</span></span><span class=s1><span style='font-size:12.0pt'>)</span><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. Jha, SK Jha, P. Lincoln, Nathaniel D. Bastian, A. Velasquez, S. <span class=SpellE>Neema</span>, <span class=SpellE>Dehallucinating</span> Large Language Models Using Formal Methods Guided Iterative Prompting, In IEEE International Conference on Assured Autonomy (<b>ICAA</b>) 2023. <a href="papers/2023_ICAA_LLM_Dehallucinating_Jha.pdf">Download PDF</a>.<o:p></o:p></span></span></p> <p class=p4 style='margin-left:0in;text-align:justify;text-indent:0in'><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;M. Rashed, S. <span class=SpellE>Thijssen</span>, H. Zheng, SK Jha, and R. <span class=SpellE>Ewetz</span>, Path-based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications, </span></span><span class=s1><span style='font-size:12.0pt'>In 42nd </span></span><span style='font-size:12.0pt'>International Conference on Computer-Aided Design (<b>ICCAD</b>) 2023. </span><span class=s3><span style='font-size:12.0pt;font-family:Times; color:windowtext'><a href="papers/2023_ICCAD_Jha_Path%20based%20Computing%20Accelerating%20Data%20Intensive%20Applications.pdf">Download PDF</a>.<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. <span class=SpellE>Thijssen</span>, M. Rashed, SK Jha, and R. <span class=SpellE>Ewetz</span>, Verification of Flow-Based Computing Systems using Bounded Model Checking. </span></span><span class=s1><span style='font-size: 12.0pt'>In 42nd </span></span><span style='font-size:12.0pt'>International Conference on Computer-Aided Design (<b>ICCAD</b>) 2023. </span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'><a href="papers/2023_ICCAD_Flow-Based%20Computing%20Systems%20Bounded%20Model%20Checking.pdf">Download PDF</a>.<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;M. Rashed, S. <span class=SpellE>Thijssen</span>, SK Jha, and R. <span class=SpellE>Ewetz</span>, Automated Synthesis for In-Memory Computing, </span></span><span class=s1><span style='font-size:12.0pt'>In 42nd </span></span><span style='font-size:12.0pt'>International Conference on Computer-Aided Design (<b>ICCAD</b>) 2023. </span><span class=s3><span style='font-size:12.0pt;font-family:Times; color:windowtext'><a href="papers/2023_ICCAD_Automated%20Synthesis%20for%20In-Memory%20Computing.pdf">Download PDF</a>.<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. <span class=SpellE>Thijssen</span>, M. Rashed, SK Jha, and R. <span class=SpellE>Ewetz</span>, <span class=SpellE>UpTime</span>: Towards Flow-based In-Memory Computing with High Fault-Tolerance, In 60th Design Automation Conference (<b>DAC</b>), 2023. <a href="papers/2023_DAC_Jha_FlowComputing.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;M. Rashed, S. <span class=SpellE>Thijssen</span>, F. Yao, SK Jha, and R. <span class=SpellE>Ewetz</span>, STREAM: Towards READ-based In-Memory Computing for Streaming Based Processing for Data-Intensive Applications, in IEEE Trans. on Computer-aided Design of Integrated Circuits and Systems (<b>IEEE TCAD</b>), 2023. <a href="papers/Jha_2023_TCAD_STREAM_AI_DataIntensiveComputing.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. <span class=SpellE>Singiredy</span>, SK Jha, and R. <span class=SpellE>Ewetz</span>, Adversarial Robustness against Perceptual Attacks, Presented at the </span></span><span style='font-size:12.0pt;mso-bidi-font-family:Times;color:windowtext'>International Workshop on Perception in Safety-Critical Cyber-Physical Systems </span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>(<span class=SpellE><b>PerCPS</b>@<b>CPS</b></span>), 2023. <a href="papers/Jha_2023_CPSWEEK_Adversarial_Robustness_against_Perceptual_Attacks.pdf">Download PDF</a> <o:p></o:p></span></span></p> <p class=MsoNormal style='text-align:justify'><span class=s2><span style='mso-ansi-font-size:12.0pt;mso-bidi-font-size:12.0pt;font-family:Times'><o:p>&nbsp;</o:p></span></span></p> <p class=MsoNormal style='margin-left:.5in;text-align:justify;text-indent:-.25in'><span class=s2><span style='mso-ansi-font-size:12.0pt;mso-bidi-font-size:12.0pt; font-family:Times'>�</span></span><span class=s3><span style='mso-ansi-font-size: 12.0pt;mso-bidi-font-size:12.0pt;font-family:Times'>&nbsp;&nbsp;&nbsp;&nbsp;</span></span><span class=s1>S. <span class=SpellE>Singiredy</span>, S. <span class=SpellE>Thijssen</span>, M. Rashed, R. <span class=SpellE>Ewetz</span>, and S. K. Jha, </span><span style='color:black'>Input-Aware Flow-Based In-Memory Computing, <span style='background:white'>In IEEE 41st International Conference on Computer Design (<b>ICCD</b>) 2023. </span></span><span class=s3><span style='mso-ansi-font-size: 12.0pt;mso-bidi-font-size:12.0pt;font-family:Times'><a href="papers/2023_IEEE_ICCD_Paper_Input_Aware_Flow_Based_Computing%20Jha%20Sumit%20FIU.pdf">Download PDF</a>.</span></span><span class=s3><span style='mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt;color:black;background:white'><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;C. Walker, D. Simon, S.K. Jha and R. <span class=SpellE>Ewetz</span>, Adversarial Pixel and Patch Detection Using Attribution Analysis, In IEEE Military Communications Conference (<b>MILCOM</b>) 2023. <a href="papers/2023_Jha_MILCOM_PatchAttack%20ABC%20Metric%20Neurips%202019.pdf">Download PDF</a>.<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;SK Jha, R. <span class=SpellE>Ewetz</span>, A. Velasquez, S. Jha, Responsible Reasoning with Large Language Models and The Impact of Proper Nouns, Workshop on Trustworthy and Socially Responsible Machine Learning at Conference on Neural Information Processing (<span class=SpellE><b>TSRML</b>@<b>NeurIPS</b></span>), 2022. <a href="papers/2022_Jha_TSRML_NeurIPS_LargeLanguageModel.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;M. Rashed, SK Jha, and R. <span class=SpellE>Ewetz</span>, </span></span><span class=s1><span style='font-size:12.0pt'>Logic Synthesis for Digital In-Memory Computing, In 41st </span></span><span style='font-size:12.0pt'>International Conference on Computer-Aided Design (<b>ICCAD</b>) 2022. <a href="papers/2022_Jha_ICCAD_LogicSynthesisInMemoryComputingHybrid.pdf">Download PDF</a> <span class=s1>(</span></span><span class=s1><span style='font-size: 12.0pt;color:red'>BEST PAPER CANDIDATE</span></span><span class=s1><span style='font-size:12.0pt'>)</span></span></p> <p class=p4 style='text-align:justify'><span class=s1><o:p>&nbsp;</o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;</span></span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";background: white'>Jha SK, <span class=SpellE>Ewetz</span> R, Velasquez A, Pullum L and S Jha, <span class=SpellE>ExplainIt</span>! A Tool for Computing Robust Attributions of Deep Neural Networks, In 31st </span><span style='font-size: 12.0pt;mso-fareast-font-family:"Times New Roman";color:windowtext'>International Joint Conference on Artificial Intelligence (<b>IJCAI</b>)</span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";background: white'> 2022. Demo track. <a href="papers/2022_Jha_IJCAI_Demo_ExplainableAI.pdf">Download PDF</a></span><span style='mso-fareast-font-family:"Times New Roman"; background:white'><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;</span></span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";background: white'>Jha SK, <span class=SpellE>Ewetz</span> R, Velasquez A, Ramanathan A. and S Jha, Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations, In 36th AAAI International Conference on Artificial Intelligence </span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman"; color:windowtext'>(<b>AAAI</b>)</span><span style='font-size:12.0pt;mso-fareast-font-family: "Times New Roman";background:white'> 2022. <b>Oral Presentation</b>. <a href="papers/2022_Jha_AAAI_Robustness.pdf">Download PDF</a></span><span style='mso-fareast-font-family:"Times New Roman";background:white'><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span class=s1><span style='font-size: 12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. <span class=SpellE>Thijssen</span>, SK Jha, and R. <span class=SpellE>Ewetz</span>, PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing, In 59th Design Automation Conference (<b>DAC</b>), 2022. </span></span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";background: white'><a href="papers/2022_Jha_DAC_Path_Flow.pdf">Download PDF</a></span><span class=s3><span style='mso-ansi-font-size:9.0pt;mso-bidi-font-size:9.0pt; font-family:Times;mso-fareast-font-family:"Times New Roman";background:white'><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;M. Rashed, <span class=SpellE>Amro</span> <span class=SpellE>Awad</span>, SK Jha, and R. <span class=SpellE>Ewetz</span>, Towards Resilient Analog In-Memory Deep Learning via Data Layout Re-Organization, In 59th Design Automation Conference (<b>DAC</b>), 2022. </span></span><span style='font-size:12.0pt;mso-fareast-font-family: "Times New Roman";background:white'><a href="papers/2022_Jha_DAC_Resilient_NN_Robust.pdf">Download PDF</a></span><span class=s3><span style='mso-ansi-font-size:9.0pt;mso-bidi-font-size:9.0pt; font-family:Times;mso-fareast-font-family:"Times New Roman";background:white'><o:p></o:p></span></span></p> <p class=p4 style='margin-left:0in;text-align:justify;text-indent:0in'><span class=s2><span style='font-size:12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. Fernandes, S. <span class=SpellE>Krivic</span>, P. Sharma, and SK Jha, Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images, European Conference on Computer Vision (<b>ECCV</b>) Workshop, 2022. <a href="papers/2022%20ECCV%20AROW%20Jha%20Fernandes%20Robust%20AI%20for%20Medical.pdf">Download PDF</a></span></span><span class=s3><span style='font-size:12.0pt;font-family: Times'><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s3><span style='font-size: 12.0pt;font-family:Times;color:windowtext'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;</span></span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";background: white'>Rashed M, Jha SK, and <span class=SpellE>Ewetz</span> R, Hybrid Digital-Digital In-Memory Computing,&nbsp;</span><span class=s1><span style='font-size:12.0pt'>In Design Automation and Test in Europe</span></span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";color:windowtext'> (<b>DATE</b>)</span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman"; background:white'> 2022. <a href="papers/2022_Jha_DATE_Hybrid_Crossbar_Computing.pdf">Download PDF</a> </span><span style='mso-fareast-font-family:"Times New Roman";background:white'><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span style='font-size:12.0pt; mso-fareast-font-family:"Times New Roman";background:white'><o:p>&nbsp;</o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;S. Fernandes, S. <span class=SpellE>Krivic</span>, P. Sharma, and SK Jha, Detecting Adversarial Attacks On Breast Cancer Diagnostic Systems Using Attribution-based Confidence Metric, Medical Imaging Meets <span class=SpellE>NeurIPS</span> (<span class=SpellE><b>MedNeurIPS</b>@<b>NeurIPS</b></span>), 2022 <a href="papers/2022_Jha_MedNeurIPS_ABCMetric.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span style='mso-fareast-font-family: "Times New Roman";background:white'><o:p>&nbsp;</o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;</span></span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";background: white'>S. <span class=SpellE>Thijssen</span>, SK Jha and R. <span class=SpellE>Ewetz</span>, COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal <span class=SpellE>Semiperimeter</span> and Maximum Dimension, In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (<b>IEEE TCAD</b>), 2022. <a href="papers/TCAD_Jha_2022.pdf">Download PDF</a><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span class=s1><o:p>&nbsp;</o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;</span></span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";background: white'>Jha SK, <span class=SpellE>Ewetz</span> R, Velasquez A, and S Jha, On Smoother Attributions using Neural Stochastic Differential Equations,&nbsp;In 30th </span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman"; color:windowtext'>International Joint Conference on Artificial Intelligence (<b>IJCAI</b>)</span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman";background: white'> 2021.</span><span style='mso-fareast-font-family:"Times New Roman"; background:white'> </span><span class=s1><span style='font-size:12.0pt'><a href="papers/IJCAI2021_Explainable_Robust_AI.pdf">Download PDF</a><span style='mso-spacerun:yes'>� </span><a href="papers/IJCAI2021_Explainable_Robust_AI.bib"><span class=SpellE>BibTex</span></a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s1><span style='font-size: 12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt;font-family:Times;color:windowtext'>�</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times;color:windowtext'>&nbsp;&nbsp;&nbsp;&nbsp;Rashed M, </span></span><span style='font-size:12.0pt;mso-fareast-font-family:"Times New Roman"; background:white'>Jha SK, and <span class=SpellE>Ewetz</span> R</span><span style='font-size:12.0pt'>, Hybrid <span class=SpellE>Anlog</span>-Digital In-Memory Computing, International Conference on Computer Aided Design (<b>ICCAD</b>) 2021. <a href="papers/ICCAD_2021__Hybrid_Analog_Digital_Computing_Memristor_Crossbar.pdf">Download PDF</a></span></p> <p class=p4 style='margin-left:0in;text-align:justify;text-indent:0in'><span class=s1><o:p>&nbsp;</o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 10.0pt'>�</span></span><span class=s3><span style='font-size:7.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=SpellE><span class=s1><span style='font-size:12.0pt'>Thijssen</span></span></span><span class=s1><span style='font-size:12.0pt'> S, Jha SK, and <span class=SpellE>Ewetz</span> R. COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal <span class=SpellE>Semiperimeter</span>. In Design Automation and Test in Europe (<b>DATE</b>) 2021. <a href="papers/DATE2021_best_paper_candidate_AI_hardware.pdf">Download PDF</a> (</span></span><span class=s1><span style='font-size:12.0pt;color:red'>BEST PAPER CANDIDATE</span></span><span class=s1><span style='font-size:12.0pt'>)<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 10.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 10.0pt'>�</span></span><span class=s3><span style='font-size:7.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span></span><span class=SpellE><span class=s1><span style='font-size:12.0pt'>Uysal</span></span></span><span class=s1><span style='font-size:12.0pt'> N, Zhang B, Jha SJ, and <span class=SpellE>Ewetz</span> R.<span style='mso-spacerun:yes'>� </span>XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Towards High Precision using Representable Matrices, in IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems (<b>IEEE TCAD</b>) 2021. <a href="papers/TCAD2020__XMAP__Programming_Memristor_Crossbars_for_Analog_Matrix_Vector_Multiplication_High_Precision.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s1><span style='font-size: 12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 10.0pt'>�</span></span><span class=s3><span style='font-size:7.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Alvaro Velasquez, Sumit Kumar Jha, Rickard <span class=SpellE>Ewetz</span> and <span class=SpellE>Susmit</span> Jha. Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. In IEEE International Symposium on Circuits &amp; Systems (<b>ISCAS</b>) 2021. <a href="papers/Quantum_ISCAS2021.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s1><span style='font-size: 12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Sarah Rafiq, Beckmann K, </span></span><span class=s1><span style='font-size: 12.0pt'>Pannu JS, Jha SK and Cady N. Investigation of ReRAM Variability on Flow-Based Edge Detection Computing using HfO2-Based ReRAM Arrays. IEEE Transactions on Circuits and Systems (<b>TCAS</b>) I. 2021. <a href="papers/TCAS1_DefectMemristorCrossbar.pdf">Download PDF</a><o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s1><span style='font-size: 12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 10.0pt'>�</span></span><span class=s3><span style='font-size:7.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span style='font-size:12.0pt'>N. <span class=SpellE>Uysal</span>, B. Zhang, SK Jha, and R. <span class=SpellE>Ewetz</span>, &quot;DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision , International Conference on Computer Aided Design (<b>ICCAD</b>), San Diego, 2020. <a href="papers/ICCAD_Memristor.pdf">Download PDF</a></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 10.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 10.0pt'>�</span></span><span class=s3><span style='font-size:7.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Jha S, Raj S, Fernandes S, Jha SK, Jha S, <span class=SpellE>Jalaian</span> B, Verma G, Swami A. Attribution-Based Confidence Metric for Deep Neural Networks. In Advances in Neural Information Processing Systems (<b>NIPS</b>) 2019 (pp. 11826-11837). <a href="papers/NeurIPS_Attribution.pdf">Download PDF</a> <a href="papers/NeurIPS-2019-attribution-based-confidence-metric-for-deep-neural-networks-Bibtex.bib"><span class=SpellE>BibTex</span></a></span></span><span style='font-size:12.0pt'><br style='mso-special-character:line-break'> <![if !supportLineBreakNewLine]><br style='mso-special-character:line-break'> <![endif]><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Fernandes S, Raj S, Ortiz E, <span class=SpellE>Vintila</span> I, Salter M, <span class=SpellE>Urosevic</span> G, Jha S. Predicting Heart Rate Variations of Deepfake Videos using Neural ODE. In Proceedings of the International Conference on Computer Vision (<b>ICCV</b>) Workshops 2020. IEEE. <a href="papers/Jha_Sumit_Fernandes_Predicting_Heart_Rate_Variations_of_Deepfake_Videos_using_Neural_ODEs.pdf">Download PDF</a></span></span><span style='font-size:12.0pt'><br style='mso-special-character: line-break'> <![if !supportLineBreakNewLine]><br style='mso-special-character:line-break'> <![endif]><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Raj S, Pannu JS, Fernandes SL, Ramanathan A, Pullum LL, Jha SK. Attacking NIST biometric image software using nonlinear optimization. Pattern Recognition Letters (<b>PRL</b>). 2020 Mar <span class=GramE>1;131:79</span>-84. <a href="papers/PRL_AdverarialAttackFingerprint.pdf">Download PDF</a></span><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><span class=s1><span style='font-size: 12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span style='font-size:12.0pt'>JS Pannu, Raj S, <span class=s1>Fernandes SL, </span>Sarah Rafiq, Cady N and Jha SK. Design and Fabrication of Flow-based Edge Detection Memristor Crossbar Circuits. <span class=s1>IEEE Transactions on Circuits and Systems (<b>TCAS</b>) II: Express Briefs. 2020 May 1. <a href="papers/TCAS2_EdgeDetectionApproximate.pdf">Download PDF</a> <o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s1><span style='font-size: 12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span></span><span style='font-size:12.0pt'>Raj S, Fernandes SL, Michel A, Jha SK. Towards AI-driven Predictive Modeling of Gas Turbines Using Big Data. In <b>AIAA</b> Propulsion and Energy 2019. <a href="papers/Towards%20AI-driven%20Predictive%20Modeling%20of%20Turbines%20using%20Big%20Data.pdf">Download PDF</a></span></p> <p class=p4 style='text-align:justify'><span style='font-size:12.0pt'><o:p>&nbsp;</o:p></span></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Hassen AU, Chakraborty D, Jha SK. Free binary decision diagram-based synthesis of compact crossbars for in-memory computing. IEEE Transactions on Circuits and Systems (<b>TCAS</b>) II: Express Briefs. 2018 Apr 2;65(5):622-6. <a href="papers/TCAS2_FreeBDDMultipiler.pdf">Download PDF</a></span><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><o:p>&nbsp;</o:p></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Raj S, Jha SK. Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis. In 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (<b>IPDPS</b>) 2018 May 21 (pp. 347-352). IEEE. <a href="papers/TCPP_PredictingSuccess.pdf">Download PDF</a></span><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><o:p>&nbsp;</o:p></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Velasquez A, Jha SK. In-memory computing using paths-based logic and heterogeneous components. In 2018 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (<b>DATE</b>) 2018 Mar 19 (pp. 1512-1515). IEEE.</span><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><o:p>&nbsp;</o:p></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Velasquez A, Jha SK. Brief announcement: Parallel transitive closure within 3d crosspoint memory. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (<b>SPAA</b>) 2018 Jul 11 (pp. 95-98).</span><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><o:p>&nbsp;</o:p></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Raj S, Jha SK, Ramanathan A, Pullum LL. Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress. In Proceedings of the Thirteenth ACM International Conference on Embedded Software (<b>EMSOFT</b>) 2017 Companion 2017 Oct 15. ACM.<o:p></o:p></span></span></p> <p class=p4 style='text-align:justify'><o:p>&nbsp;</o:p></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>&nbsp;Chakraborty D, Jha SK. Automated synthesis of compact crossbars for sneak-path based in-memory computing. In Design, Automation &amp; Test in Europe Conference &amp; Exhibition (<b>DATE</b>), 2017 2017 Mar 27 (pp. 770-775). IEEE.</span><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><o:p>&nbsp;</o:p></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Ramanathan A, Pullum LL, Hussain F, Chakrabarty D, Jha SK. Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. In 2016 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (<b>DATE</b>) 2016 Mar 14 (pp. 786-791). IEEE.</span><o:p></o:p></span></p> <p class=p4 style='text-align:justify'><o:p>&nbsp;</o:p></p> <p class=p4 style='text-align:justify'><span class=s2><span style='font-size: 12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Jha SK, Langmead CJ, <span class=SpellE>Mohalik</span> S, Ramesh S. When to stop verification? Statistical trade-off between expected loss and simulation cost. In 2011 Design, Automation &amp; Test in Europe (<b>DATE</b>) 2011 Mar 14 (pp. 1-6). IEEE.</span><o:p></o:p></span></p> <p class=p4><o:p>&nbsp;</o:p></p> <p class=p3><span class=s1><span style='font-size:12.0pt'>&nbsp;</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p3><span class=s1>&nbsp;<o:p></o:p></span></p> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in'><span class=s1><span style='font-size:18.0pt;font-family:Times;mso-fareast-font-family: "Times New Roman";color:black'>Software<o:p></o:p></span></span></h1> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='color:#272626;margin-top:7.5pt;mso-list:l0 level1 lfo3; tab-stops:list .5in'>FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal <span class=SpellE>Semiperimeter</span> on<span class=apple-converted-space>&nbsp;</span><a href="https://github.com/sventhijssen/flow-3d" style='box-sizing: border-box; --linkdeco: underline;color:var(--nv-primary-accent);cursor:pointer; text-decoration:var(--linkdeco)'>GitHub</a><o:p></o:p></li> <li class=MsoNormal style='color:#272626;margin-top:7.5pt;mso-list:l0 level1 lfo3; tab-stops:list .5in;box-sizing: border-box'>CHECK: Equivalence Checking for Flow-Based Computing on<span class=apple-converted-space>&nbsp;</span><a href="https://github.com/sventhijssen/check" style='box-sizing: border-box; --linkdeco: underline;color:var(--nv-primary-accent);cursor:pointer; text-decoration:var(--linkdeco)'>GitHub</a><o:p></o:p></li> <li class=MsoNormal style='color:#272626;margin-top:7.5pt;mso-list:l0 level1 lfo3; tab-stops:list .5in;box-sizing: border-box'>PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing on<span class=apple-converted-space>&nbsp;</span><a href="https://github.com/sventhijssen/path" style='box-sizing: border-box; --linkdeco: underline;color:var(--nv-primary-accent);cursor:pointer; text-decoration:var(--linkdeco)'>GitHub</a><o:p></o:p></li> <li class=MsoNormal style='color:#272626;margin-top:7.5pt;mso-list:l0 level1 lfo3; tab-stops:list .5in;box-sizing: border-box'>COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal <span class=SpellE>Semiperimeter</span> on<span class=apple-converted-space>&nbsp;</span><a href="https://github.com/sventhijssen/compact" data-type=URL data-id="https://github.com/sventhijssen/compact" style='box-sizing: border-box; --linkdeco: underline;color:var(--nv-primary-accent);cursor:pointer; text-decoration:var(--linkdeco)'>GitHub</a><o:p></o:p></li> </ul> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in'><span class=s1><span style='font-size:18.0pt;font-family:Times;mso-fareast-font-family: "Times New Roman";color:black;font-weight:normal'><o:p>&nbsp;</o:p></span></span></h1> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in'><span class=s1><span style='font-size:18.0pt;font-family:Times;mso-fareast-font-family: "Times New Roman";color:black'>Invited Talks<o:p></o:p></span></span></h1> <h3 style='margin-top:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in; margin-bottom:.0001pt;text-align:justify;text-indent:-.25in;mso-list:l0 level1 lfo3; tab-stops:list .5in'><![if !supportLists]><span style='font-size:10.0pt; mso-bidi-font-size:15.0pt;font-family:Symbol;mso-fareast-font-family:Symbol; mso-bidi-font-family:Symbol;color:#212121'><span style='mso-list:Ignore'>�<span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><span class=c9dxtc><span style='font-family:"Times New Roman",serif;color:windowtext'>Automated Synthesis for Quantum Circuits using Inductive Reasoning and Symbolic Deduction, In Quantum Algorithm Design Automation (QADA) at the IEEE International Conference on Quantum Computing and Engineering (<b>QEC</b>) 2023.</span></span><span class=c9dxtc><span style='color:windowtext'> </span></span><span class=c9dxtc><span style='font-family:"Times New Roman",serif'><a href="https://youtu.be/o9IXToxUf0g">Watch Video</a></span></span><span style='font-size:15.0pt;font-family:"Times New Roman",serif;color:#212121'><o:p></o:p></span></h3> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in'><span class=s1><span style='font-size:18.0pt;font-family:Times;color:black; font-weight:normal'><o:p>&nbsp;</o:p></span></span></h1> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in'><span class=s1><span style='font-size:18.0pt;font-family:Times;mso-fareast-font-family: "Times New Roman";color:black'>Teaching<o:p></o:p></span></span></h1> <p class=p3><span class=s1><span style='font-size:12.0pt'>Between 2021 and 2023, I served as the Graduate Chair (10% administrative appointment) for the MS in Computer Science and the MS in AI (Computer Science) programs at the University of Texas at San Antonio.</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Spring 2024:<o:p></o:p></span></span></p> <p class=p5><span class=s3><span style='font-size:12.0pt'><span style='mso-spacerun:yes'>������ </span></span></span><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size: 12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'><a href="class2024/Lecture.html">CAP 6619 - U01 Advanced Topics in Machine Learning: Trust in AI</a> (32 graduate students) Student Perception of Instruction: 4.9/5.0</span></span><span class=s3><span style='font-size:12.0pt; font-family:Times'><o:p></o:p></span></span></p> <p class=p4><span class=s3><span style='font-size:12.0pt'><span style='mso-spacerun:yes'>�</span></span></span><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size: 12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Spring 2023:<o:p></o:p></span></span></p> <p class=p5><span class=s3><span style='font-size:12.0pt'><span style='mso-spacerun:yes'>�</span></span></span><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size: 12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'><a href="class2023/TrustinAI_HomePage.htm">CS 6463 Advanced Topics: Trust in AI</a> (18 graduate students) Student Perception of Instruction: 4.9/5.0</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times'><o:p></o:p></span></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Spring 2022:<o:p></o:p></span></span></p> <p class=p5><span class=s3><span style='font-size:12.0pt'><span style='mso-spacerun:yes'>�</span></span></span><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size: 12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>CS 6463 Advanced Topics: Trust in AI<span style='mso-tab-count:2'>�������������������� </span>Student Perception of Instruction: 5.0/5.0</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times'><o:p></o:p></span></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Spring 2021:<o:p></o:p></span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>CS 5633 Analysis of Algorithms<span style='mso-tab-count:3'>������������������������������� </span>Student Perception of Instruction: 4.0/5.0</span></span><span class=s3><span style='font-size:12.0pt;font-family:Times'><o:p></o:p></span></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Spring 2020:</span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>COT 5405 Design and Analysis of Algorithms<span style='mso-tab-count:1'>��������� </span>Student Perception of Instruction: 4.0/5.0</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>COT 6908 Independent Study on Automated Synthesis of Computing Systems</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in;-webkit-text-stroke: #000000'><span style='font-size:18.0pt;font-family: Times;mso-fareast-font-family:"Times New Roman";color:black'><br> <span class=s1>Students and Alumni</span><o:p></o:p></span></h1> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Undergraduate Students: <o:p></o:p></span></span></p> <p class=p4 style='text-indent:0in'><span class=s3><span style='font-size:12.0pt'><span style='mso-spacerun:yes'>����� </span></span></span><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size: 12.0pt'>&nbsp;&nbsp; Gabriel <span class=SpellE>Hubner</span> Ferreira <span class=SpellE>Lucchesi</span> (Honors in the Major, Computer Science, Florida International University)<o:p></o:p></span></span></p> <p class=p4><span class=s3><span style='font-size:12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Ph.D. Mentees:</span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Sven <span class=SpellE>Thijssen</span> (Assistant Professor at Florida Atlantic University)</span><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; Muhammad </span></span><span class=s1><span style='font-size:12.0pt'>Rashed (Assistant Professor at University of Texas at Arlington)</span></span></p> <p class=p5><o:p>&nbsp;</o:p></p> <p class=p4><span class=s2><span style='font-size:12.0pt'>�</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Doctoral Alumni:</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Prof. Alvaro Velasquez (Assistant Professor at University of Colorado Boulder, formerly of the Air Force Research Laboratory AFRL Information Directorate, New York)</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Dr. <span class=SpellE>Arfeen</span> Khalid (LUMS Pakistan; Machine Learning Researcher, Comcast AI Labs)</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; Dr. Jodh Singh Pannu (MS, University of Central Florida)<o:p></o:p></span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Prof. Dwaipayan Chakraborty (Oak Ridge National Laboratory and then Assistant Professor at Rowan University, New Jersey, funded by the National Science Foundation.)</span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Prof. Sunny Raj (IIT Dhanbad; Assistant Professor at Oakland University, Michigan, funded by the National Science Foundation)</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; Dr. Suraj <span class=SpellE>Sangireddy</span> (BS, University of Central Florida)<o:p></o:p></span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Prof. Faraz Hussain (BITS Pilani; Assistant Professor at Clarkson University, New York, funded by the National Science Foundation)</span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Prof. Mesut <span class=SpellE>Ozdag</span> (Visiting Assistant Professor, University of Central Florida, Orlando)</span><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Dr. Amad <span class=SpellE>ul</span> Hassen (Research Manager, SUPARCO, Pakistan)<o:p></o:p></span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Dr. Emily <span class=SpellE>Sassano</span> (Research Scientist, Sanofi, Orlando)</span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Dr. Jim <span class=SpellE>Pyrich</span> (CEO)<o:p></o:p></span></span></p> <p class=p5><span class=s1><o:p>&nbsp;</o:p></span></p> <p class=p4><span class=s2><span style='font-size:10.0pt'>�</span></span><span class=s3><span style='font-size:7.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Post-doctoral Alumni:</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Prof.<span style='mso-spacerun:yes'>� </span>Priyanka Kumar Singh (Ph.D. IIT Hyderabad, currently a tenure-track assistant professor of the University of Texas at Permian Basin)</span><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>Prof. <span class=SpellE>Lipismita</span> <span class=SpellE>Panigrahi</span> (Ph.D., NIT Raipur, formerly an assistant professor at KIIT University, currently at UTSA)</span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; Prof. </span></span><span class=s1><span style='font-size:12.0pt'>Steven Lawrence Fernandes (moved to Omaha, Nebraska as a tenure-track assistant professor in Fall 2020)</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; Prof. Sumit <span class=SpellE>Tetarave</span> (</span></span><span class=s1><span style='font-size:12.0pt'>moved to KIIT University, India as a tenure-track assistant professor in Spring 2023</span></span><span class=s3><span style='font-size:12.0pt'>)<o:p></o:p></span></span></p> <p class=p5><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size:12.0pt'>&nbsp;&nbsp; Prof. </span></span><span class=s1><span style='font-size:12.0pt'>Sunny Raj (moved to Oakland University, Detroit, Michigan as a tenure-track assistant professor in Fall 2020)</span><o:p></o:p></span></p> <p class=p5 style='margin-left:0in;text-indent:0in'><span class=s1><span style='font-size:12.0pt'><o:p>&nbsp;</o:p></span></span></p> <p class=p5 style='margin-left:0in;text-indent:0in'><span class=s1><b><span style='font-size:18.0pt;mso-fareast-font-family:"Times New Roman";mso-bidi-font-family: Times'>Undergraduate Research and Outreach<o:p></o:p></span></b></span></p> <p class=p5 style='margin-left:0in;text-indent:0in'><span style='font-size: 12.0pt'><o:p>&nbsp;</o:p></span></p> <p class=p4 style='margin-left:0in;text-indent:.5in'><span class=s4><span style='font-size:12.0pt'>o</span></span><span class=s3><span style='font-size: 12.0pt'>&nbsp;&nbsp; </span></span><span class=s1><span style='font-size:12.0pt'>High School Senior Research:</span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p5><span class=SpellE><span class=s1><span style='font-size:12.0pt'>Poonacha</span></span></span><span class=s1><span style='font-size:12.0pt'> <span class=SpellE>Cheppudira</span> (BASIS Charter School; a copy of the student s blog hosted by the school is located <a href="papers/High%20School%20Senior%20Research%20Project%202022.htm">here</a>.)</span><o:p></o:p></span></p> <p class=p3><o:p>&nbsp;</o:p></p> <h1 style='margin-top:0in;margin-right:0in;margin-bottom:12.1pt;margin-left: 0in;-webkit-text-stroke: #000000'><span class=s1><span style='font-size:18.0pt; font-family:Times;mso-fareast-font-family:"Times New Roman";color:black'>Contact Information</span></span><span style='font-size:18.0pt;font-family:Times; mso-fareast-font-family:"Times New Roman";color:black'><o:p></o:p></span></h1> <p class=p3><span class=s1><span style='font-size:12.0pt'>Sumit Kumar Jha </span></span><span style='font-size:12.0pt'><br> <span class=s1>Office: CASE 384</span><br> <span class=s1>Computer Science Department, School of Computing and Information Science</span><br> <span class=s1>Florida International University </span><br> <span class=s1>11200 SW 8th Street </span><br> <span class=s1>Miami, FL 33199 </span><br> <span class=s1>Email: sumit.jha@fiu.edu </span><br> <span class=s1><b>&nbsp;<o:p></o:p></b></span></span></p> <p class=p3><span class=s1><b><span style='font-size:12.0pt'><a href="https://outlook.office.com/bookwithme/user/db4202e6249a4d71b38a1f83b281feec@fiu.edu/meetingtype/czKtdr6GskK9v-PsZz1bOw2?anonymous&amp;ep=mlink">Book an appointment</a><o:p></o:p></span></b></span></p> <p class=p3><o:p>&nbsp;</o:p></p> <p class=p7><span class=s5><span style='font-size:12.0pt'>Personal Email: <a href="mailto:firstname.middlename.lastname@gmail"><span class=s6>firstname.middlename.lastname@gmail</span></a></span></span><span style='font-size:12.0pt'><o:p></o:p></span></p> <p class=p3><span class=s1><span style='font-size:12.0pt'>Last updated: August 2023.</span><o:p></o:p></span></p> <p class=p3><o:p>&nbsp;</o:p></p> <p class=p8 align=center style='text-align:center'><span class=s1><span style='font-size:8.0pt'>Images and content on this website may be created by Generative AI.</span></span><span style='font-size:8.0pt'><o:p></o:p></span></p> </div> </body> </html>