May 19, 2025The team’s NeuralSAT advanced the frontiers of trustworthy artificial intelligence, earning second place in a highly competitive field of international teams advancing the formal verification of AI systems.
February 27, 2023Â鶹ÊÓƵ researchers led by Jana KoÅ¡ecká are using AI to make the Internet of Things more inclusive and accessible to those using American Sign Language.
Â鶹ÊÓƵ is collaborating with Amazon and the Maryland Chamber Foundation to provide local teachers with computer science externships and education in a pilot program to begin this summer.
