Herbert Wertheim College of Engineering
Jha Lab
Led by Sumit Jha · Computer and Information Science and Engineering
Auto-generated from UF undergraduate research symposium abstracts
What we study
The Jha Lab studies trustworthy AI, focusing on formal methods to make machine learning systems interpretable, controllable, and certifiable. They use techniques like model checking and synthesis to ensure AI systems meet logical specifications.
What working here is like
- Computational
- No organisms (data only)
- Coding required
How to reach out
Sumit Jha hasn't set up this page yet. Their UF Scholars profile lists their publications.
Are you in this lab?Claim this lab
Open positions
No positions posted right now. Many labs still take undergrads who reach out to them, so see how to get in touch.