Sebastian Krings

Sebastian Krings

Software Engineer

Axivion

I am a software engineering team lead working at Qt QA, were we develop static analysis tools used to stop software erosion. My team is responsible for developing compilers for C, C++ and C# as well as for implementing static analysis rules for verifying compliance to coding standards such as MISRA, Cert or Autosar.

Formerly, I used to be a research fellow at both Clavis, the institute for information security of the Niederrhein University of Applied Sciences, and the software engineering and programming languages department at the University of Düsseldorf. My research was concerned with formal software verification, with a focus on symbolic model checking techniques for high-level languages.

My scientific publications can be found on the publication list, on Google Scholar and dblp. The script on artificial intelligence my students and I wrote can be found on its webpage. Furthermore, my GitHub profile contains different software projects.

Interests
  • Software Analysis
  • Formal Methods
  • Constraint Logic Programming
  • Penetration Testing
  • Offensive Security
Education
  • Dr. rer. nat. in Computer Science, 2017

    Heinrich-Heine-University

  • M. Sc. in Computer Science, 2012

    Heinrich-Heine-University

  • B. Sc. in Mathematics and Applied Fields, 2012

    Heinrich-Heine-University

  • B. Sc. in Computer Science, 2010

    Heinrich-Heine-University

Recent & Upcoming Talks

Experience Report on a Student-Organized AI Course
Analyzing Security Aspects of Software Architectures
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving