Sumit Kumar Jha — Professor of Computer Science, University of Florida
formalmethods.ai
LaunchIndex first observed Sumit Kumar Jha — Professor of Computer Science, University of Florida (formalmethods.ai) live on 7 October 2026. View its launch screenshot, category, technologies, and verification evidence.
A launch record built from evidence.
Sumit Kumar Jha — Professor of Computer Science, University of Florida (formalmethods.ai) was first observed live on 7 October 2026.
Academic professional profile for Sumit Kumar Jha, Professor of Computer Science at the University of Florida. Showcases research in formal methods for trustworthy AI, including verification, synthesis, interpretability, and agentic AI control.
Its profile is classified as Professional service within Services / Professional services. Verification detected React and Cloudflare.
What the launch signal contained.
- First observed live
- Previous state
- No prior non-live observation
- Last verified
- Canonical host
- formalmethods.ai
- Category
- Services / Professional services
- Website type
- Professional service
- Observed title
- Sumit Kumar Jha — Professor of Computer Science, University of Florida
- Observed description
- Sumit Kumar Jha is a Professor of Computer Science at the University of Florida working on formal methods for trustworthy AI: verification, synthesis, interpretability, and control of agentic AI systems.
- Detected technologies
- ReactCloudflare
- Screenshot captured
- Evidence source
- Browser observation · Local
- Evidence confidence
- 93%
- HTTP status
- 200
Is this your website?
Claim this profile to add verified owner information.
What do you make of this launch?
Vote on the site and leave a short note for other people exploring the new web.
Report an issueFlag spam, illegal or harmful content, or inaccurate information.
Reports are private and reviewed by the moderation team. No sign-in is required, so this report will be anonymous.
Join the discussion
Sign in with Google to vote or comment.
Sign in to participateComments
0 commentsBe the first to leave a useful observation.