
WHO IS QPR TECHNOLOGIES?
We are a young and motivated development team from Karlsruhe, one of the leading cities in the field of information technology. We are specialized to develop static verification tools to reliably detect software errors and clearly exemplify the causes.
We are closely working together with research partners to constantly develop our innovative technology and successfully bring to market.
THE FOUNDERS.
OUR STAFF.
RESEARCH COOPERATION.
OUR AWARDS.

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
4* Gold, 6* Silber, 4* Bronze – International Software Verification Competitions 2012-2014