Rivero receives NSF grant for formal methods in STEM education project
Carlos Rivero, associate professor in the Department of Computer Science, received $212,983 from the National Science Foundation for his project titled "Collaborative Research: FMitF: Track III: A Taste of Formal Methods for Different STEM Communities and Courses." The project focuses on increasing the accessibility of formal methods by integrating them into undergraduate education, including courses for computer science majors. Rivero's team is developing and disseminating self-contained, interactive exercises using a web-based programming environment to solve small-scale problems with formal methods, providing various STEM communities with a foundational understanding of these techniques.
Topics
Recommended News
-
November 21, 2024
![an illustrated image of a pixelated face appears next to the words real or fake.]()
Detecting digital deception
Today, artificial intelligence is being used to manipulate media. At RIT, a team of student and faculty researchers is leading the charge to help journalists and intelligence analysts figure out what is real and what is fake. Their work has more than $2 million in funding from the National Science Foundation and Knight Foundation.
-
November 15, 2024
![a hand with robotic elements attached is shown.]()
National conference celebrates interdisciplinary collaborations and research
More than 170 higher education professionals from across the country came to RIT Nov. 14-16 for the 2024 a2ru National Conference. The a2ru national conference is an opportunity for practitioners and researchers from across higher education to share innovations and perspectives in the arts.
-
November 11, 2024
![Arthur Deane walks through a park like setting in front of the capitol building wearing a dark polo shirt and khaki pants.]()
Amazon executive supports new path for cybersecurity students
Arthur Deane broke into the cybersecurity industry and he hasn’t looked back. Now, he’s helping others unlock opportunities in cybersecurity, paving the way for a more diverse and inclusive tech industry
-
November 8, 2024
![An illustration of a brain with the words Science Advances displayed over the top in white, all on a dark blue background.]()
RIT professor proposes new way to make artificial intelligence smarter and greener
The brain is a great source of inspiration for Alexander Ororbia, an assistant professor of computer science and cognitive science at RIT. By mimicking how neurons in the brain learn, Ororbia is working to make artificial intelligence more powerful and energy efficient. His research was recently published in the journal Science Advances.
