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
-
August 20, 2024
![two men stand in front of a spinning wheel with options on it.]()
RIT offers new degree in global public health
RIT is offering a global public health BS degree program and is accepting students for fall 2025. The new degree program will prepare students for public health careers, medical school, clinical health professional programs, law school, and many other graduate degrees. -
August 19, 2024
![a student and an adult unload a van with the help of an R I T volunteer.]()
RIT welcomes more than 3,100 new undergraduates this week
The new students come from 47 states (all but Arkansas, North Dakota, and Wyoming), Washington, D.C., and 44 foreign countries. They are among the most well-rounded and academically prepared classes at RIT, with average high school GPA's of 93.8 percent, up from 93 percent last year.
-
August 19, 2024
![people unload a students belongings from a black pickup truck.]()
3,100-plus undergraduate students move in Monday at RIT
WHEC-TV highlights RIT's incoming undergraduate students, which includes students ages 15-29 from 47 states and 44 different countries.
-
August 19, 2024
![a man in a lime green shirt and hard hair adds spackle to a wall in an R I T dorm hallway.]()
Refreshed residence halls ready for students
Students moving into RIT’s residence halls are being greeted by new improvements, ranging from carpeting, paint, chrome bathroom fixtures, convenient meeting spaces, and in some cases, even air conditioning.
