Sumit Kumar Jha
Professor
Computer Science Department
University of Texas at San Antonio
My research interests
lie in the following areas:
· Artificial Intelligence
· Quantum Computing
· Logic and Automata Theory
· Emerging Architectures
I am currently the Principal Investigator on the DARPA GARD
program, the AFRL ML-RCP program, the ONR Science of AI program, the Department
of Energy Explainable AI program, and the NSF Scalable Parallelism in the
Extreme (SPX) program.
Citizenship: United States
· PhD, 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
· 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.
· S. Thijssen, M. Rashed, SK Jha, and R. Ewetz,
UpTime: Towards Flow-based In-Memory Computing with
High Fault-Tolerance, In 59th 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 (TCAD), 2023. Download PDF
· S. Singireddy, SK Jha, and R. Ewetz,
Adversarial Robustness against Perceptual Attacks, International
Workshop on Perception in Safety-Critical Cyber-Physical Systems (PerCPS@CPS), 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 (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 (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.
I serve as the Graduate
Chair for the UTSA MS in Computer Science and the UTSA MS in AI (Computer
Science) programs; please see this FAQ and use the following
email to reach the program staff: CSMSGradChair@utsa.edu
·
Spring 2023:
o CS 6463 Advanced Topics: Trust in AI
·
Spring 2022, Spring 2023:
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
· Post-doctoral Students:
o Dr. Priyanka Kumar
o Dr. Lipismita
Panigrahi
· Post-doctoral Alumni:
o Prof. Steven Lawrence Fernandes (moving to
Omaha, Nebraska as a tenure-track assistant professor in Fall 2020)
o Prof. Sumit Tetarave (moving to KIIT University, India as a tenure-track
assistant professor in Spring 2023)
o Prof. Sunny Raj (moving to Oakland
University, Detroit, Michigan as a tenure-track assistant professor in Fall
2020)
· PhD Students:
o Sven Thijssen
(BS, KU Leuven)
o Muhammad Rashed (MS, University of Central Florida)
o
Suraj
Sangireddy (BS, University of Central Florida)
o Jodh Singh Pannu (MS, 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)
o Prof. Sunny Raj (IIT Dhanbad; Assistant
Professor at Oakland University, Michigan)
o Prof. Faraz Hussain (BITS Pilani; Assistant Professor at Clarkson University, New
York)
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)
Outreach
· High School Senior Research:
o Poonacha Cheppudira
(BASIS Charter School; a copy of the student’s blog hosted by the school is
located here.)
Sumit Kumar Jha
Computer Science Department
University of Texas at San Antonio
Email: sumit.jha@utsa.edu
Office: North Paseo Building 4th floor (Data Science
Center)
Personal Email: firstname.middlename.lastname@gmail
Last updated: May
2020.