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 ONR Science of AI program, and the NSF Scalable Parallelism in the
Extreme (SPX) program.
· PhD, Computer Science, Carnegie Mellon
University
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
Selected Publications
· 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. (BEST PAPER CANDIDATE) 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
· 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
·
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
· 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.
· 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
· 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.
·
Spring 2021:
o CS 5633 Analysis of Algorithms
· Spring 2020:
o COT 5405 Design and Analysis of
Algorithms
o COT 6908 Independent Study on Automated
Synthesis of Computing Systems
· Post-doctoral Alumni:
o Steven Lawrence Fernandes (moving to
Omaha, Nebraska as tenure-track assistant professor in Fall 2020)
o Sunny Raj (moving to Oakland
University, Detroit, Michigan as tenure-track assistant professor in Fall 2020)
· PhD Students:
o Sven Thijssen
(BS, KU Leuven)
o Jodh Singh Pannu
(MS, University of Central Florida)
o Suraj Sangireddy
(BS, University of Central Florida)
· Doctoral Alumni:
o Dr. Alvaro Velasquez (Government
research scientist at the Air Force Research Laboratory AFRL Information
Directorate, New York)
o Dr. Sunny Raj (IIT Dhanbad;
tenure-track assistant professor at Oakland University, Michigan)
o Prof. Dwaipayan
Chakraborty (Oak Ridge National Laboratory and then tenure-track assistant
professor at Rowan University, New Jersey)
o Dr. Arfeen
Khalid (LUMS Pakistan; Machine Learning Researcher, Comcast AI Labs)
o Prof. Faraz Hussain (BITS Pilani; tenure-track assistant professor at Clarkson
University, New York)
o Dr. Amad ul Hassen
(Research Manager, SUPARCO, Pakistan)
o Dr. Emily Sassano
(Research Scientist, Sanofi, Orlando)
o Dr. Mesut Ozdag
(Research Scientist, Roche, California)
o Dr. Jim Pyrich
(CEO)
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.