Sumit Kumar Jha
Professor of Computer Science
School of Computing and Information Science
Florida International University
My research interests
lie in the following areas:
· Artificial Intelligence
· Logic and Automata Theory
· Quantum Computing
· Emerging Architectures
I am always keen on mentoring high-school researchers,
undergraduate researchers, MS thesis students, Ph.D. dissertation students, and
post-doctoral researchers.
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.
Citizenship: United States
·
Ph.D., Computer
Science, Carnegie Mellon University (August 2010)
Dissertation: Model Validation and Discovery of Complex Stochastic Systems Advisor: Professor Christopher James Langmead
· B. Tech. (Hons.) in Computer Science
and Engineering, Indian Institute of Technology (IIT) Kharagpur, India (May
2004)
Selected Publications
· C.
Walker, SK Jha, S. Chen, and R. Ewetz, Integrated Decision
Gradients: Compute Your Attributions Where the Model Makes Its Decision. In
38th AAAI International Conference on Artificial Intelligence (AAAI)
2024. Download Arxiv Download PDF
· SK
Jha, S. Jha, R. Ewetz, and A. Velasquez, On the
Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers. In
61st ACM Design Automation Conference (DAC), 2024. Download PDF
· S.
Thijssen, M. Rashed, SK Jha, and R. Ewetz, Synthesis of Compact Flow-based Computing Circuits from
Boolean Expressions. In 61st ACM Design Automation Conference (DAC),
2024. Download PDF
· M.
Rashed, S. Thijssen, D. Simon, SK Jha, and R. Ewetz,
Execution Sequence Optimization for Processing In-Memory using Parallel Data
Preparation. In 61st ACM Design Automation Conference (DAC), 2024.
Download PDF
· M.
Hossain, M. Ahmed, L. Pullum, R. Ewetz, 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 (AAAI) 2024. Download
PDF
· I.
Alkhouri, SK Jha, R. Ewetz,
S. Jha, and A. Velasquez, Exploring the Predictive Capabilities of AlphaFold
Using Adversarial Protein Sequences. In IEEE Transactions on Artificial
Intelligence (IEEE TAI) 2024. Download PDF
· Thijssen, M. Rashed, SK Jha, and R. Ewetz, PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing Systems, IEEE Trans. on Computer-aided Design of Integrated Circuits and Systems (IEEE TCAD) 2024. Download PDF
· S.
Thijssen, M. Rashed, SK Jha, and R. Ewetz, Towards Area-Efficient Path-Based In-Memory
Computing using Graph Isomorphisms, In 29th IEEE/ACM Asia and South Pacific
Design Automation Conference (ASP-DAC) 2024. Download
PDF.
· S.
Thijssen, M. Rashed, SK Jha, and R. Ewetz, READ-based In-Memory Computing using Sentential Decision
Diagrams, In 29th IEEE/ACM Asia and South Pacific Design Automation Conference
(ASP-DAC) 2024. Download
PDF.
· SK
Jha, S. Jha, P. Lincoln, Nathaniel D. Bastian, A. Velasquez, R. Ewetz, and S. Neema,
Counterexample Guided Inductive Synthesis Using Large Language Models and
Satisfiability Solving. In IEEE Military Communications Conference (MILCOM)
2023. Download
Arxiv Download PDF (BEST PAPER CANDIDATE)
· SK
Jha, S. Jha, R. Ewetz, and A. Velasquez, Neural SDEs
for Robust and Explainable Analysis of Electromagnetic Unintended Radiated
Emissions. In IEEE Military Communications Conference (MILCOM) 2023. Download
Arxiv Download PDF
· S.
Jha, SK Jha, P. Lincoln, Nathaniel D. Bastian, A. Velasquez, S. Neema, Dehallucinating Large
Language Models Using Formal Methods Guided Iterative Prompting, In IEEE
International Conference on Assured Autonomy (ICAA) 2023. Download PDF.
· M.
Rashed, S. Thijssen, H. Zheng, SK Jha, and R. Ewetz, Path-based Processing using In-Memory Systolic
Arrays for Accelerating Data-Intensive Applications, In 42nd International Conference on Computer-Aided Design (ICCAD)
2023. Download
PDF.
· S.
Thijssen, M. Rashed, SK Jha, and R. Ewetz, Verification of Flow-Based Computing Systems using
Bounded Model Checking. In 42nd International
Conference on Computer-Aided Design (ICCAD) 2023. Download
PDF.
· M.
Rashed, S. Thijssen, SK Jha, and R. Ewetz, Automated Synthesis for In-Memory Computing, In 42nd International Conference on Computer-Aided Design (ICCAD)
2023. Download
PDF.
· S. Thijssen, M. Rashed, SK Jha, and R. Ewetz,
UpTime: Towards Flow-based In-Memory Computing with
High Fault-Tolerance, In 60th Design Automation Conference (DAC), 2023. Download PDF
· M. Rashed,
S. Thijssen, F. Yao, SK Jha, and R. Ewetz, 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 (IEEE TCAD),
2023. Download
PDF
· S. Singiredy, SK Jha, and R. Ewetz,
Adversarial Robustness against Perceptual Attacks, Presented at the International
Workshop on Perception in Safety-Critical Cyber-Physical Systems (PerCPS@CPS), 2023. Download
PDF
· S. Singiredy, S. Thijssen,
M. Rashed, R. Ewetz, and S. K. Jha, Input-Aware Flow-Based In-Memory Computing, In IEEE 41st International Conference on Computer
Design (ICCD) 2023. Download
PDF.
· C.
Walker, D. Simon, S.K. Jha and R. Ewetz, Adversarial
Pixel and Patch Detection Using Attribution Analysis, In IEEE Military
Communications Conference (MILCOM) 2023. Download
PDF.
· SK Jha, R. Ewetz, 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 (TSRML@NeurIPS), 2022. Download PDF
· M. Rashed, SK Jha, and R. Ewetz, Logic Synthesis for Digital In-Memory Computing, In 41st International Conference on Computer-Aided Design (ICCAD) 2022. Download PDF (BEST PAPER CANDIDATE)
· Jha SK, Ewetz R, Velasquez A, Pullum L and S
Jha, ExplainIt! A Tool for Computing Robust
Attributions of Deep Neural Networks, In 31st International
Joint Conference on Artificial Intelligence (IJCAI) 2022. Demo track. Download
PDF
· Jha SK, Ewetz 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 (AAAI) 2022. Oral Presentation. Download PDF
· S. Thijssen, SK Jha, and R. Ewetz,
PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing, In 59th
Design Automation Conference (DAC), 2022. Download PDF
· M. Rashed, Amro Awad, SK Jha, and R. Ewetz, Towards Resilient Analog In-Memory Deep Learning via
Data Layout Re-Organization, In 59th Design Automation Conference (DAC),
2022. Download
PDF
· S.
Fernandes, S. Krivic, P. Sharma, and SK Jha,
Attribution-Based Confidence Metric for Detection of Adversarial Attacks on
Breast Histopathological Images, European Conference on Computer Vision (ECCV)
Workshop, 2022. Download
PDF
· Rashed M, Jha SK, and Ewetz R, Hybrid
Digital-Digital In-Memory Computing, In Design Automation and Test in Europe
(DATE) 2022. Download PDF
· S.
Fernandes, S. Krivic, P. Sharma, and SK Jha,
Detecting Adversarial Attacks On Breast Cancer
Diagnostic Systems Using Attribution-based Confidence Metric, Medical Imaging
Meets NeurIPS (MedNeurIPS@NeurIPS),
2022 Download PDF
· S. Thijssen, SK Jha and R. Ewetz,
COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter and Maximum Dimension, In IEEE Transactions
on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD),
2022. Download PDF
· Jha SK, Ewetz R, Velasquez A, and S Jha, On Smoother
Attributions using Neural Stochastic Differential Equations, In 30th International
Joint Conference on Artificial Intelligence (IJCAI) 2021. Download PDF BibTex
· Rashed M, Jha SK, and Ewetz R, Hybrid Anlog-Digital In-Memory Computing, International Conference on Computer Aided Design (ICCAD) 2021. Download PDF
· Thijssen S, Jha SK, and Ewetz
R. COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. In Design Automation and Test in Europe (DATE)
2021. Download
PDF (BEST
PAPER CANDIDATE)
· Uysal N, Zhang B, Jha SJ, and Ewetz R. 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 (IEEE TCAD)
2021. Download
PDF
· Alvaro Velasquez, Sumit Kumar Jha,
Rickard Ewetz and Susmit
Jha. Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and
Decision Procedures. In IEEE International Symposium on Circuits & Systems
(ISCAS) 2021. Download PDF
·
Sarah Rafiq, Beckmann K, 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 (TCAS) I. 2021. Download PDF
· N. Uysal, B. Zhang, SK Jha, and R. Ewetz, "DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision”, International Conference on Computer Aided Design (ICCAD), San Diego, 2020. Download PDF
· Jha S, Raj S, Fernandes S, Jha SK, Jha
S, Jalaian B, Verma G, Swami A. Attribution-Based
Confidence Metric for Deep Neural Networks. In Advances in Neural Information
Processing Systems (NIPS) 2019 (pp. 11826-11837). Download PDF BibTex
· Fernandes S, Raj S, Ortiz E, Vintila I, Salter M, Urosevic G,
Jha S. Predicting Heart Rate Variations of Deepfake Videos using Neural ODE. In
Proceedings of the International Conference on Computer Vision (ICCV)
Workshops 2020. IEEE. Download
PDF
· Raj S, Pannu
JS, Fernandes SL, Ramanathan A, Pullum LL, Jha SK. Attacking NIST biometric
image software using nonlinear optimization. Pattern Recognition Letters (PRL).
2020 Mar 1;131:79-84. Download PDF
· JS Pannu, Raj S, Fernandes SL, Sarah Rafiq, Cady N and Jha SK. Design and
Fabrication of Flow-based Edge Detection Memristor Crossbar Circuits. IEEE Transactions on Circuits and Systems (TCAS) II: Express
Briefs. 2020 May 1. Download
PDF
· Raj S, Fernandes SL, Michel A, Jha SK. Towards AI-driven Predictive Modeling of Gas Turbines Using Big Data. In AIAA Propulsion and Energy 2019. Download PDF
· 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 (TCAS) II: Express
Briefs. 2018 Apr 2;65(5):622-6. Download
PDF
· Raj S, Jha SK. Predicting Success in Undergraduate
Parallel Programming via Probabilistic Causality Analysis. In 2018 IEEE
International Parallel and Distributed Processing Symposium Workshops (IPDPS)
2018 May 21 (pp. 347-352). IEEE. Download
PDF
· Velasquez A, Jha SK. In-memory
computing using paths-based logic and heterogeneous components. In 2018 Design,
Automation & Test in Europe Conference & Exhibition (DATE) 2018
Mar 19 (pp. 1512-1515). IEEE.
· 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 (SPAA) 2018 Jul 11 (pp. 95-98).
· 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 (EMSOFT)
2017 Companion 2017 Oct 15. ACM.
· Chakraborty D, Jha SK. Automated
synthesis of compact crossbars for sneak-path based in-memory computing. In
Design, Automation & Test in Europe Conference & Exhibition (DATE),
2017 2017 Mar 27 (pp. 770-775). IEEE.
· 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 & Test in Europe Conference & Exhibition (DATE)
2016 Mar 14 (pp. 786-791). IEEE.
· Jha SK, Langmead CJ, Mohalik S, Ramesh S. When to stop verification? Statistical
trade-off between expected loss and simulation cost. In 2011 Design, Automation
& Test in Europe (DATE) 2011 Mar 14 (pp. 1-6). IEEE.
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.
· Spring
2024:
o CS 6463 CAP 6619 - U01 Advanced Topics in Machine
Learning: Trust in AI
· Spring 2023:
o CS 6463 Advanced Topics: Trust in AI
·
Spring 2022:
o CS
6463 Advanced Topics: Trust in AI Student
Perception of Instruction: 5.0/5.0
·
Spring 2021:
o CS 5633 Analysis of Algorithms Student
Perception of Instruction: 4.0/5.0
· Spring 2020:
o COT 5405 Design and Analysis of
Algorithms Student Perception of
Instruction: 4.0/5.0
o COT 6908 Independent Study on Automated
Synthesis of Computing Systems
·
Undergraduate Students:
o Gabriel Hubner Ferreira Lucchesi (Honors in the Major, Computer Science, Florida
International University)
· Ph.D. Students:
o Sven Thijssen
(BS and MS, KU Leuven, graduating in 2024, co-advisor, Main advisor: Prof.
Rickard Ewetz at the University of Central Florida)
o Muhammad Rashed (BS, BUET and MS, University of Central Florida, graduating in 2024, co-advisor, Main advisor: Prof. Rickard Ewetz at the University of Central Florida)
· Doctoral Alumni:
o Prof. Alvaro Velasquez (Assistant
Professor at University of Colorado Boulder, formerly of the Air Force Research
Laboratory AFRL Information Directorate, New York)
o Dr. Arfeen
Khalid (LUMS Pakistan; Machine Learning Researcher, Comcast AI Labs)
o Prof. Dwaipayan
Chakraborty (Oak Ridge National Laboratory and then Assistant Professor at
Rowan University, New Jersey, funded by the National Science Foundation.)
o Prof. Sunny Raj (IIT Dhanbad; Assistant
Professor at Oakland University, Michigan, funded by the National Science
Foundation)
o Prof. Faraz Hussain (BITS Pilani; Assistant Professor at Clarkson University, New
York, funded by the National Science Foundation)
o Prof. Mesut Ozdag
(Visiting Assistant Professor, University of Central Florida, Orlando)
o Dr. Amad ul Hassen (Research Manager, SUPARCO, Pakistan)
o Dr. Emily Sassano (Research Scientist, Sanofi, Orlando)
o Dr. Jim Pyrich
(CEO)
· Post-doctoral Alumni:
o Prof.
Priyanka Kumar Singh (Ph.D. IIT Hyderabad, formerly an assistant
professor at Amrita University, currently at UTSA)
o Prof. Lipismita Panigrahi (Ph.D., NIT Raipur, formerly an assistant professor at KIIT University, currently at UTSA)
o Prof. Steven Lawrence Fernandes (moved to
Omaha, Nebraska as a tenure-track assistant professor in Fall 2020)
o Prof. Sumit Tetarave (moved to KIIT University, India as a tenure-track
assistant professor in Spring 2023)
o Prof. Sunny Raj (moved to Oakland University,
Detroit, Michigan as a tenure-track assistant professor in Fall 2020)
Undergraduate Research and Outreach
o High
School Senior Research:
Poonacha Cheppudira
(BASIS Charter School; a copy of the student’s blog hosted by the school is
located here.)
Sumit Kumar Jha
Office: CASE 384
Computer Science Department, School of Computing and Information
Science
Florida International University
11200 SW 8th Street
Miami, FL 33199
Email: sumit.jha@fiu.edu
Personal Email: firstname.middlename.lastname@gmail
Last updated: August
2023.