Professor Jorge Ortiz (Rutgers University) highlights the achievements of 16 WINLAB summer interns, 8 of whom were supported by the NSF Center for Smart Streetscapes (CS3)!
Together, they built an end-to-end agentic stack—combining TeLLMe, TraceFix, and CityOS—that translates natural language prompts into verified, privacy-preserving distributed applications. Tested across both physical Smart Room sensors and synthetic CARLA traffic simulations, their work demonstrates how formal protocol verification and edge application synthesis can work hand-in-hand.