Jan Overgaard

Jan Overgaard is a Danish computer scientist and software engineer, primarily known for his work in software verification and formal methods. He has made significant contributions to the development and application of static analysis tools, particularly in the context of embedded systems and safety-critical software.

Overgaard's research focuses on developing techniques that can automatically detect errors and vulnerabilities in software code before it is deployed. This involves utilizing mathematical models and formal specifications to reason about the behavior of software systems, ensuring that they meet specific safety and reliability requirements. He has contributed to the development of static analysis tools that can be used to verify the correctness of software code, identify potential security flaws, and ensure compliance with industry standards.

His work has been applied in various domains, including automotive, aerospace, and medical device software, where safety and reliability are paramount. He has also been involved in the development of industrial tools for static analysis, helping to bridge the gap between academic research and practical software development. His research often explores the trade-offs between the precision and scalability of static analysis techniques, aiming to develop tools that can be effectively used on large and complex software systems.