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.

Dr. David Faragó
Dr. David FaragóGeschäftsführer & Software-Entwicklung
Experte für Formale Methoden, Model-Based Testing und Qualitätssicherung. Mehrjährige Industrie-Erfahrung als Entwickler und Tester von (Embedded-) Software.
Prof. Dr. Carsten Sinz
Prof. Dr. Carsten SinzForschung & Software-Entwicklung
Forschungsgruppenleiter am KIT; NASA Visiting Scientist; langjährige Technologietransfer- Erfahrung im Bereich der Software- Qualitätssicherung (Daimler, IBM, Siemens).
Felix Kutzner
Felix KutznerProduktmanagement & Softwareentwicklung
Experte für Algorithmendesign und Formale Methoden. Hat am KIT Dipl.-Informatik studiert und dabei bereits Startup-Erfahrung gesammelt.
Marko Kleine Büning
Marko Kleine BüningVertrieb & Software-Entwicklung
Experte für Projektmanagement und Formale Methoden. Hat am KIT Informatik studiert und dabei Erfahrungen in der Software- sowie Beratungsbranche gesammelt.

UNSERE MITARBEITER.

Calvin Urankar
Calvin UrankarWeb-Entwicklung
Student am Karlsruher Institut für Technologie im Fach Informatik.
Unterstützt QPR Technologies als Spezialist für Javascript und Web Development.
Laura Sauer
Laura SauerGrafikdesign & Corporate Identity
Bachelorstudentin an der Hochschule Pforzheim, Fakultät für Gestaltung, im Fach Visuelle Kommunikation. Unterstützt das Team im Bereich Corporate Identity und Grafikdesign als freie Mitarbeiterin.
Karin Mahler
Karin MahlerGrafikdesign & Corporate Identity
Bachelorstudentin an der Hochschule Pforzheim, Fakultät für
Gestaltung, im Fach Visuelle Kommunikation. Unterstützt das Team im Bereich Corporate Identity und Grafikdesign als freie Mitarbeiterin.

FORSCHUNGSKOOPERATION.

Markus Iser
Markus IserForschung & Software-Entwicklung
Experte für Algorithmen- und Softwaredesign. Hat am KIT Dipl.-Informatik studiert und promoviert in der Forschungsgruppe ‚Verification meets Algorithm Engineering‘ zum Thema SAT-Solving.
Safa Omri
Safa OmriForschung & Analyse
Dipl.-Mathematikerin, spezialisiert in Machine Learning und künstlicher
Intelligenz. Setzt im Rahmen ihrer Promotion in Kooperation mit der
Daimler AG mathematische Methoden im Bereich der Software-Qualitätssicherung und Model Checking ein.
Simon E. Silva Lauinger
Simon E. Silva LauingerSoftware-Entwicklung & Forschung
Masterstudent Informatik und wissenschaftlicher Mitarbeiter am KIT. Studienschwerpunkte sind formale Methoden und Sprachtechnologien. Seine Masterarbeit behandelt die Aliasanalyse im QPR-Kontext. Unterstützt die QPR-Entwicklung.

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

UNSERE PARTNER & FÖRDERER.