Rafael Sadykov: "Formal verification for bug hunting"

Formal verification plays a crucial role in ensuring the correctness and reliability of software systems. In this talk, we will dive into the exciting world of theorem proving and explore how formal verification techniques can be used for finding bugs in Python code. We will discuss the fundamentals of theorem proving, its applications in software engineering. We take a closer look at the Python theorem prover ecosystem, including state-of-the-art libraries and frameworks, and showcase practical examples of theorem proving in action. Whether you are a beginner or an experienced Python developer, this talk will provide valuable insights into using formal verification for Python and enhancing the quality of your software.

Target Audience:
This talk is suitable for Python developers and enthusiasts who are interested in exploring the field of formal verification and the applications of theorem proving in software engineering. Prior knowledge of formal methods or theorem proving is not required.

Mathematician and Software Engineer, skilled in C++, Python, and formal verification. Passionate about technology and mathematics, eager to explore innovative solutions.
Ready to collaborate and learn from fellow enthusiasts at meetups to drive progress in the evolving tech landscape.