Hello! I'm Outgoing.I help make life more interesting.
Hello! I'm Outgoing.I help make life more interesting.
This event is in the past.It took place on May 6, 2026 at Hertz Hall.
Educational TalkEducational TalkDissertation Talk: Synthesis-Enabled Reasoning: Scalable Automated Formal Verification for Hardware-Software Security
Southside
Peek under the hood of how we verify complex computer systems actually work. This dissertation talk explores synthesis-enabled reasoning: using AI-driven search techniques to automate the tedious parts of formal verification, making it faster and more reliable.
Academic lecture
Computer science
Formal verification
AI & machine learning
Tips
🏛️venue known for excellent acoustics
🎓dissertation defense — cutting-edge research
Dissertation Talk: Synthesis-Enabled Reasoning: Scalable Automated Formal Verification for Hardware-Software Security
Southside
Educational TalkEducational TalkPeek under the hood of how we verify complex computer systems actually work. This dissertation talk explores synthesis-enabled reasoning: using AI-driven search techniques to automate the tedious parts of formal verification, making it faster and more reliable.
Academic lecture
Computer science
Formal verification
AI & machine learning
Tips
🏛️venue known for excellent acoustics
🎓dissertation defense — cutting-edge research
Make it an outing
Add nearby spots before or after your event