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.
Experte für Formale Methoden, Model-Based Testing und Qualitätssicherung. Mehrjährige Industrie-Erfahrung als Entwickler und Tester von (Embedded-) Software.
Forschungsgruppenleiter am KIT; NASA Visiting Scientist; langjährige Technologietransfer- Erfahrung im Bereich der Software- Qualitätssicherung (Daimler, IBM, Siemens).
Experte für Algorithmendesign und Formale Methoden. Hat am KIT Dipl.-Informatik studiert und dabei bereits Startup-Erfahrung gesammelt.
Experte für Projektmanagement und Formale Methoden. Hat am KIT Informatik studiert und dabei Erfahrungen in der Software- sowie Beratungsbranche gesammelt.
UNSERE MITARBEITER.
Student am Karlsruher Institut für Technologie im Fach Informatik.
Unterstützt QPR Technologies als Spezialist für Javascript und Web Development.
Unterstützt QPR Technologies als Spezialist für Javascript und Web Development.
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.
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.
Gestaltung, im Fach Visuelle Kommunikation. Unterstützt das Team im Bereich Corporate Identity und Grafikdesign als freie Mitarbeiterin.
FORSCHUNGSKOOPERATION.
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.
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.
Intelligenz. Setzt im Rahmen ihrer Promotion in Kooperation mit der
Daimler AG mathematische Methoden im Bereich der Software-Qualitätssicherung und Model Checking ein.
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
