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.
Expert in formal-methods, model-based testing and quality assurance. Many years industrial experience as developer and tester of (embedded) software.
Professor at KIT Karlsruhe; NASA Visiting Scientist; several years of experience in technology transfer for software quality assurance (Daimler, IBM, Siemens).
Expert in algorithm design and formal methods. Has already gained startup experience while studying computer science at KIT.
Expert in project management and formal methods. Studied computer science at KIT while gaining expirence in the consulting industry and software development.
OUR STAFF.
Student at the Karlsruhe Institute of Technology in computer science.
Supports QPR as a specialist for JavaScript and Web Development.
Supports QPR as a specialist for JavaScript and Web Development.
Student at Hochschule Pforzheim, School of Design, in Visual
Communication. Supporting the team with graphic design skills.
Communication. Supporting the team with graphic design skills.
Student at Hochschule Pforzheim, School of Design, in Visual
Communication. Supporting the team with graphic design skills.
Communication. Supporting the team with graphic design skills.
RESEARCH COOPERATION.
Master’s degree candidate in computer science at the KIT with a focus on formal methods and language engineering. His master thesis deals with alias analysis in the context of QPR. Supports QPR at software development.
Expert in algorithms and software design. He studied computer science at the KIT and obtained his PhD in the research group Verification meets Algorithm Engineering on SAT-Solving.
Mathematician, specialized in machine learning and artificial intelligence. Uses mathematical methods in the field of software quality assurance and model checking in cooperation with Daimler AG.
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
