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, 2023Mason 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.
91°µÍø 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.
