
WER STECKT HINTER QPR TECHNOLOGIES?
Wir sind ein junges und motiviertes Entwicklerteam aus Karlsruhe, einer der führenden Metropolen im Bereich der Informationstechnologie. Wir sind darauf spezialisiert, statische Verifikationswerkzeuge zu entwickeln, mit denen sich Softwarefehler zuverlässig erkennen und deren Ursachen klar veranschaulichen lassen.
Dabei arbeiten wir eng mit Forschungspartnern zusammen, um unsere innovative Technologie stets weiterzuentwickeln und erfolgreich auf den Markt zu bringen.
DIE GRÜNDER.
UNSERE MITARBEITER.
FORSCHUNGSKOOPERATION.
UNSERE AUSZEICHNUNGEN.

Winner „DeviceDrivers“ – SV-Comp 2012 International Competition of Software Verification
Winner „Bit Vectors and Loops“ – SV-Comp 2013 International Competition of Software Verification
Winner „Bit Vectors“ – SV-Comp 2014 International Competition of Software Verification
Best Tool Demonstration Award – IEEE/ACM Intern. Conference on Automated Software Engineering
Intel Doctoral Student Honor Award 2013
Second Prize in Software Verification – FLoC Olympic Games 2012 – 2014
Finalist „Best Concept“ – Cyber Champion 2014/15
Finalist „Init Innovationspreis“ – Cyber Champion 2014/15
EXIST-Gründerstipendium 2015/16
Förderung durch Junge Innovatoren 2017/18
4* Gold, 6* Silber, 4* Bronze – International Software Verification Competitions 2012-2014