Consultancy Work
I am available for hire. Please send inquiries to work@thomaslemberger.com.
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.