Search

1 results for “timokissel”

1. 

   Timo Kissel @timokissel

   2026-10-23

   Finally, formal verification is becoming less of an academic curiosity and more of a mainstream #cybersecurity practice (with the help of #AI).

   About time.
   https://www.anthropic.com/research/formal-verification

   #cybersecurity #ai