> Markdown version of [/@onur-kasimlar](https://www.wearedevelopers.com/@onur-kasimlar). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Onur Kasimlar
Cloud engineer merging AI and formal verification to rethink software testing.

## About

Onur Kasimlar is a Lead Cloud Engineer at Posedio GmbH. He works on making software inherently more reliable by bridging artificial intelligence with formal verification methods.

Rather than relying solely on standard test cases, Onur explores how tools like Hoare Logic and symbolic execution can offer mathematically-backed guarantees for code. His talks break down how machine learning can automatically infer preconditions and generate proof cases to ensure software correctness.



## Past Sessions

### World Congress 2025 · July 9, 2025
Berlin, Germany
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods) · 30 min · 🎥 Watch recording



## Videos

- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods) · Onur Kasimlar


## Links

- [LinkedIn](https://www.linkedin.com/in/onur-kasimlar-534078b2/)