Sumit Kumar Jha

Eminent Scholar Chair Professor of Computer Science

prof_pic.jpg

384 CASE Building

11200 SW 8th Street

Miami, FL 33199

Prof. Jha’s research interests lie in the following areas:

  • Artificial Intelligence
  • Logic and Automata Theory
  • Quantum Computing
  • Emerging Architectures

Principal Investigator for $17 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 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.

news

Sep 27, 2024 DAIR.AI listed our work on jailbreaking LLMs as one of the top 10 ML Papers of the Week!
Feb 11, 2024 Three (3) papers have been accepted at the ACM Design Automation Conference (DAC) 2024!

selected publications

  1. Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
    Chase Walker, Sumit Kumar Jha, Kenny Chen, and Rickard Ewetz
    In Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, February 20-27, 2024, Vancouver, Canada, 2024
  2. Jailbreaking Large Language Models with Symbolic Mathematics
    E. Bethany, M. Bethany, J.A. Nolazco Flores, SK Jha, and P. Najafirad
    Workshop on Socially Responsible Language Modelling Research (SoLaR) at NeurIPS, 2024
  3. AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
    A. Nunez, NT. Islam, SK Jha, and P. Najafirad
    The First Workshop on Safe & Trustworthy Agents (SATA) at NeurIPS, 2024
  4. On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers
    SK Jha, S. Jha, R. Ewetz, and A. Velasquez
    61st ACM Design Automation Conference (DAC), 2024
  5. Zero-shot Detection of Out-of-Context Objects Using Foundation Models
    Anirban Roy, Adam Cobb, Ramneet Kaur, Sumit Jha, Nathaniel Bastian, Alexander Berenbeim, and 4 more authors
    In IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2025
  6. Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences
    Ismail R. Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, and 1 more author
    IEEE Trans. Artif. Intell., 2024
  7. PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing Systems
    Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024
  8. Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
    Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, and 1 more author
    In IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, 2023
    BEST PAPER CANDIDATE
  9. UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance
    Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, 2023
  10. Automated Synthesis for In-Memory Computing
    Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023
  11. Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations
    Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, and Susmit Jha
    In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, February 22 - March 1, 2022, 2022
    Oral Presentation
  12. ExplainIt!: A Tool for Computing Robust Attributions of DNNs
    Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, and Susmit Jha
    In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, 2022
  13. Logic Synthesis for Digital In-Memory Computing
    Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022, San Diego, California, USA, 30 October 2022 - 3 November 2022, 2022
    BEST PAPER CANDIDATE
  14. Towards resilient analog in-memory deep learning via data layout re-organization
    Muhammad Rashedul Haq Rashed, Amro Awad, Sumit Kumar Jha, and Rickard Ewetz
    In DAC ’22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, 2022
  15. PATH: evaluation of boolean logic using path-based in-memory computing
    Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In DAC ’22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, 2022
  16. On Smoother Attributions using Neural Stochastic Differential Equations
    Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, and Susmit Jha
    In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, 2021
  17. COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter
    Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
    In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, 2021
    BEST PAPER CANDIDATE
  18. Hybrid Analog-Digital In-Memory Computing
    Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021, 2021
  19. DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision
    Necati Uysal, Baogang Zhang, Sumit Kumar Jha, and Rickard Ewetz
    In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020, 2020
  20. Attribution-Based Confidence Metric For Deep Neural Networks
    Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, and 2 more authors
    In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada, 2019