Skip navigation

Johannes Kanig

Senior Software Engineer, AdaCore

Johannes Kanig, senior software engineer at AdaCore and developer of the SPARK technology, received his PhD in formal verification from the University Paris-Sud, France.

Johannes’s Recent activity