Tell me more, I’ll get better.
Sign up and I'll remember your taste, your people & your saves.
© 2026 Go Playfully Inc
Tell me more, I’ll get better.
Sign up and I'll remember your taste, your people & your saves.
© 2026 Go Playfully Inc
This event is in the past.It took place on May 6, 2026 at Hertz Hall.
Dissertation Talk: Synthesis-Enabled Reasoning: Scalable Automated Formal Verification for Hardware-Software Security
May 6 at 11am
Southside, Berkeley
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.
Dissertation Talk: Synthesis-Enabled Reasoning: Scalable Automated Formal Verification for Hardware-Software Security
May 6 at 11am
Southside, Berkeley
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.