Event speakers details

Danilo Poccia

Danilo Poccia

AWS Chief Evangelist (EMEA)

Harness generative AI creativity with automated reasoning

Large language models excel at generating creative solutions, while automated reasoning tools enable rigorous verification.

This session explores methodologies for combining these complementary strengths to create more reliable AI systems. We'll introduce automated reasoning using open source tools and demonstrate how formal methods can guide and constrain generative AI.

By fusing probabilistic and symbolic approaches, we'll show how to build hybrid systems that maintain creative capabilities while ensuring verifiable outputs.

  • dpoccia@gmail.com
  • https://www.danilop.net/

Bio

Danilo works with startups and companies of any size to support their innovation.

In his role as Chief Evangelist (EMEA) at Amazon Web Services, he uses his experience to help people bring their ideas to life, focusing on the technical and business impact of AI. He is the author of AWS Lambda in Action from Manning.