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.

David Faragó
David Faragó Managing Director & Software Development
Expert in formal-methods, model-based testing and quality assurance. Many years industrial experience as developer and tester of (embedded) software.
Prof. Dr. Carsten Sinz
Prof. Dr. Carsten SinzResearch & Software Development
Professor at KIT Karlsruhe; NASA Visiting Scientist; several years of experience in technology transfer for software quality assurance (Daimler, IBM, Siemens).
Felix Kutzner
Felix KutznerProduct Management & Software Development
Expert in algorithm design and formal methods. Has already gained startup experience while studying computer science at KIT.
Marko Kleine Büning
Marko Kleine BüningSales & Software Development
Expert in project management and formal methods. Studied computer science at KIT while gaining expirence in the consulting industry and software development.

OUR STAFF.

Calvin Urankar
Calvin UrankarWeb Development
Student at the Karlsruhe Institute of Technology in computer science.
Supports QPR as a specialist for JavaScript and Web Development.
Laura Sauer
Laura Sauer Graphicdesign & Corporate Identity
Student at Hochschule Pforzheim, School of Design, in Visual
Communication. Supporting the team with graphic design skills.
Karin Mahler
Karin MahlerGraphic Design & Corporate Identity
Student at Hochschule Pforzheim, School of Design, in Visual
Communication. Supporting the team with graphic design skills.

RESEARCH COOPERATION.

Simon E. Silva Lauinger
Simon E. Silva LauingerSoftware Development & Research
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.
Markus Iser
Markus IserResearch & 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.
Safa Omri
Safa OmriResearch & Analysis
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

OUR PARTNERS AND SPONSORS.