I am available for hire. Please send inquiries to firstname.lastname@example.org.
I did my PhD (Dr. rer. nat.) in computer science at LMU Munich in the area of software analysis and verification. I help you understand your verification needs, pick the right tools, and build a verification infrastructure that adds real value to the software development process.