Professor Jorge Ortiz (Rutgers University) highlights the achievements of the 16 WINLAB summer interns 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.