معرفی
Prof. Sumit Kumar Jha is a Professor in the Department of Computer Science at Florida International University (FIU), specializing in artificial intelligence, formal methods, and computer architecture. His research focuses on AI-driven system design, in-memory computing, and robust machine learning systems. He leads over $17 million in active research projects from agencies like DARPA, AFRL, NSF, and DOE.
Research interests include:
- Adversarial machine learning and model robustness
- Neuro-symbolic systems and program synthesis
- Analog/digital in-memory computing architectures
- Formal verification and safety-critical systems
- Explainable AI and model interpretability
Recent work emphasizes secure LLM code generation, quantum computing applications, and fault-tolerant in-memory systems. His publications span top venues like ICML, ICLR, and DAC.
Awarded FIU's Top Scholar Award (2024-25) and multiple best paper nominations. Active in NSF-funded initiatives including SPX (extreme-scale computing) and FMitF (formal methods in in-memory systems).
