News
Great Place to Work 2023 – Triple für QAware
In: K. Schneider and J. Brandt, editors, Theorem Proving in Higher Order Logics (TPHOLs 2007) (Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow) PDF
Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]
Mehr Informationen