Onur Kasimlar

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.