| |
|
| |
| DETAILS |
|
Formal Agentic AI: Conceptual operators from information lattices & formal verification of digital twins
Featured Speaker: Lav Varshney, Co-founder & CEO of Kocree
Event Details
Date: Wednesday, March 18, 2026
Time: 4:30 PM - 6:30 PM EST (Talk starts at 5:00 PM)
Location: Emergence AI
Format: In-person Talk + Interactive Q&A + Networking
Light refreshments will be served
Who This Talk Is For
This isn't just a high-level "AI is cool" talk. We are diving into the mechanics of trust. You'll get the most out of this session if you are:
AI Researchers & Academics: Interested in the intersection of information theory, formal methods, & autonomous systems.
Machine Learning Engineers: Tired of "prompt engineering by vibes" & looking for rigorous ways to ensure agentic reliability.
Product Leaders & Founders: Building autonomous features & grappling with the liability & safety of AI "taking action" on behalf of users.
AI Safety & Ethics Specialists: Moving beyond qualitative guidelines toward mathematical guarantees of alignment.
Students & Enthusiasts: Those with a technical background who want to see where the next five years of AI development are headed.
About Lav Varshney
Lav Varshney is the Della Pietra Infinity Professor & inaugural director of the AI Innovation Institute at Stony Brook University. He is co-founder & CEO of Kocree, a startup company building novel human-controllable AI for discovery & creativity, & chief scientist of Ensaras, a startup company focused on AI & wastewater treatment. He holds appointments at RAND Corporation & at Brookhaven National Laboratory. He was previously on the faculty of the University of Illinois Urbana-Champaign, a visiting scholar at Northwestern's Kellogg School of Management, a principal research scientist at Salesforce Research AI, & a research staff member at IBM Research. He is a former White House staffer, having served on the National Security Council staff as a White House Fellow, where he contributed to national AI & wireless communications policy. His research interests include information theory & artificial intelligence. He received his B.S. degree from Cornell University & his S.M. & Ph.D. degrees from the Massachusetts Institute of Technology.
|
|
|
|
|
|
|
|
