Abstract: Runtime verification promises to make software more reliable by monitoring program executions against formal specifications of safety properties. This talk will present results from work that my group did…
Monday, February 2, 2026 | 12 – 3 p.m. Virtual via the Career Fair Plus platform. Students may register and sign up for meetings with companies via Career Fair Plus.…
Frank Price SVP, Chief Information Risk Officer, Labcorp The Cyber Threat Landscape for 2026 Cybersecurity has become one of the most critical challenges of the digital age. We will examine…
Abstract: Everyone says AI needs more: more parameters, more data, more GPUs, more money. I'm here to argue the opposite. This talk begins with a cautionary tale from my student…
The Department of Computer Science will host a Research Day for industry leaders on Wednesday, March 4 from 9 a.m. - 3 p.m. in EB2. This event will feature short…
Abstract: While many robots are currently deployable in factories, warehouses and homes, their autonomous deployment requires either the deployment environments to be highly controlled, or the deployment to only entail…
Each year, our incredible alumni, faculty, staff, students, ePartners and the broader computer science community come together to make an impact during Day of Giving. NC State Day of Giving is a 24-hour…
Join #NCStateCS on Saturday, March 28 for University Open House! Chat with faculty and current students, explore our undergraduate programs, tour our labs and classrooms, and experience all things Centennial…
Title: The Future of Software Development: Predictions from people who have seen it, offered to those who will invent it Abstract: Together, Dr. Jennings and Mr. Joshua S. Allen have…
Speaker: Lu Lu, Yale University Abstract: As an emerging paradigm in scientific machine learning (SciML), deep neural operators pioneered by us can learn nonlinear operators of complex dynamic systems via…
Join the Department of Computer Science for the Senior Design Center's 'Posters and Pies' celebration on Wednesday, April 29, 2026 from 6:30 - 8:30 p.m. at the McKimmon Center in…
Abstract: In this talk, I will explore key research contributions in efficient deep learning, with a focus on training smaller yet highly capable language models. I will discuss approaches such…