With support from the National Science Foundation and its Formal Methods in the Field (FMitF) initiative, Associate Professor Rahul Purandare will streamline runtime verification of programs with new optimization tools and techniques compatible with both new and existing open-source frameworks. Continue reading…
More details at: https://computing.unl.edu/news/purandare-creating-new-pluggable-improvements-runtime-verification-technology/
School of Computing graduate research assistant Daniel Rico was the second-place winner of the Daugherty Water for Food Global Institute-supported student poster competition at the 2025 Water for Food Global Conference. Continue reading…
Where can you build a scale model theme park attraction, assemble dozens of robotics kits for kids, or fabricate a race car to compete on this summer’s Nebraska dirt tracks? Look no further than Kiewit Hall's Garage. Continue reading…
More details at: https://news.unl.edu/article/tinker-tailor-solder-pry-kiewits-garage-lets-students-innovate
Alireza Khodaei's Ph.D. thesis defense will be this Friday, August 1 at 10:30 a.m. in room C207 of the Scott Engineering Center. Continue reading…