Beruflicher Werdegang

• 48bytesNorth GmbH		94032 Passau
  Leitung Backend Entwicklung		04/2021 – jetzt

  • Design, Implementierung und Weiterentwicklung einer RESTful Spring-Boot Applikation

• ONE LOGIC GmbH		94032 Passau
  Leitung Backend Entwicklung		11/2016 – 04/2021

  • Design, Implementierung und Weiterentwicklung einer RESTful Spring-Boot Applikation
  • Design, Implementierung und Weiterentwicklung effizienter Algorithmen in der Robotik
  • Design, Implementierung und Weiterentwicklung effizienter Algorithmen im Big-Data Bereich
  • Etablierung eines Qualitätssicherungs-Standards mit JUnit Modultests, rest-assured Integrationstests, und Selenium Akzeptanztests

• Devatax GmbH		94032 Passau
  Leitung Backend Entwicklung		11/2015 – 09/2016

  • Design, Implementierung und Weiterentwicklung einer RESTful Server Applikation in Java
  • Anbindung einer Bezahlschnittstelle mit PCI DSS 3.1 SAQ A compliance
  • Anbindung eines trusted-timestamp services nach RFC 3161
  • Implementierung und Weiterentwicklung eines revisionssicheren Kassenbuchs
  • Etablierung eines Qualitätssicherungs-Standards mit JUnit Modultests, rest-assured Integrationstests, und Selenium Akzeptanztests

• Universität Passau, Lehrstuhl für Software Systeme		94032 Passau
  Wissenschaftlicher Mitarbeiter am Lehrstuhl von Prof. Dirk Beyer		07/2010 – 09/2015

  • Entwickler des Software-Verifikations Frameworks CPAchecker
  • Automatische Software Verifikation als Forschungsschwerpunkt, insbesondere Erreichbarkeitseigenschaften von single-threaded Programmen, z. B. Linux Gerätetreiber
  • Design und Entwicklung von neuen Algorithmen auf Basis der Value-Analyse oder einer Kombination aus Value-Analyse und Prädikaten-Analyse für effizientere Software Verifikation

• Degussa Bank		60486 Frankfurt
  Software Quality Consultant		11/2009 – 07/2010

  • Beauftragt mit Projekt “Tosca Testautomatisierung / Core 24” der Degussa Bank
  • Design und Implementierung der entsprechenden vollautomatischen Tests
  • Interviews mit Abteilungsleitern bzgl. der Erstellung möglicher Teststrategien
  • Schulung der Projektmitarbeiter im Umgang mit der Software “Tosca”
  • Direkte Berichterstattung gegenüber der Projektleitung

• FeRox Management Consulting GmbH		94032 Passau
  Ausbildung zum Fachinformatiker		08/2000 – 10/2003

  • Maßgebliche Beteiligung an der Entwicklung einer webbasierten Projektmanagement Plattform
  • Programmierung an Backend-Logik
  • Anpassung an Vielzahl von Datenbank-Systemen, z.B. Oracle 9i und 10g, PostgreSQL, MSSQL, u.a.

Ausbildung

• Promotion an der Universität Passau		94032 Passau
  Abschluss mir Note “sehr gut” – 1.0, und Prädikat “summa cum laude”		07/2010 – 08/2015

  • Schwerpunkt: Software Verifikation, Software Analyse
  • Doktorarbeit: “Effective Approaches to Abstraction Refinement for Automatic Software Verification” am Lehrstuhl für Software Systeme von Prof. Dr. Dirk Beyer

• Informatikstudium an der Muskingum University		New Concord, Ohio, USA
  Auslandssemester mit Note “sehr gut” – GPA 3.910		08/2007 – 12/2007

• Informatikstudium an der Universität Passau		94032 Passau
  Abschluss mit Note “sehr gut” – 1.5		10/2003 – 09/2009

  • Schwerpunkt: Informationssysteme / Wissensbasierte Systeme
  • Nebenfach: Medizin
  • Diplomarbeit: “Exploration of Service-Oriented Architectures for Context Recognition” am Lehrstuhl für Angewandte Informatik mit Schwerpunkt Embedded Systems von Prof. Dr. Paul Lukowicz

• Ausbildung zum Fachinformatiker		94032 Passau
  Abschluss als Fachinformatiker mit Note “gut” – 2.0		08/2000 – 10/2003

  • Ausbildungsbetrieb: FeRox Management Consulting GmbH in 94032 Passau
  • Berufsschule: Karl-Peter-Obermaier Schule in 94036 Passau

• Besuch des Gymnasiums		94107 Untergriesbach
  Abschluss mit Abitur mit Note “gut” – 2.5		1991 – 2000

• Besuch der Grundschule Hauzenberg		94051 Hauzenberg
  Erfolgreicher Übertritt ans Gymnasium		1987 – 1991

Wissenschaftliche Veröffentlichungen – Hauptautor

1. Stefan Löwe: Effective Approaches to Abstraction Refinement for Automatic Software Verification, Universität Passau 2016, Doktorarbeit
2. Dirk Beyer, Stefan Löwe, Philipp Wendler: Refinement Selection, SPIN 2015, Seiten 20–38
3. Dirk Beyer, Stefan Löwe, Philipp Wendler: Sliced Path Prefixes: An Effective Method to Enable Refinement Selection, FORTE 2015, Seiten 228–243
4. Dirk Beyer, Stefan Löwe: Explicit-State Software Model Checking Based on CEGAR and Interpolation, FASE 2013, Seiten 146–162

Wissenschaftliche Veröffentlichungen – Koautor

1. Dirk Beyer, Stefan Löwe, Philipp Wendler: Reliable benchmarking: Requirements and solutions, STTT 2017, Seiten 1–29
2. Dirk Beyer, Stefan Löwe, Philipp Wendler: Benchmarking and Resource Measurement, SPIN 2015, Seiten 160–178
3. Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler: Precision Reuse for Efficient Regression Verification, ESEC/SIGSOFT FSE 2013, Seiten 389–399

Wissenschaftliche Veröffentlichungen – Software Verifikationswettbewerbe

1. Stefan Löwe: CPA-RefSel: CPAchecker with Refinement Selection, TACAS 2016, Seiten 916–919
2. Matthias Dangl, Stefan Löwe, Philipp Wendler: CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic, TACAS 2015, Seiten 423–425
3. Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler: CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses, TACAS 2014, Seiten 392–394
4. Stefan Löwe: CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation, TACAS 2013, Seiten 610–612
5. Stefan Löwe, Philipp Wendler: CPAchecker with Adjustable Predicate Analysis, TACAS 2012, Seiten 528–530

Präsentationen

• Effective Approaches to Abstraction Refinement for an Explicit-Value Analysis
  • CPA 2016, Talk
• Sliced Path Prefixes: An Effective Method to Enable Refinement Selection
  • AVM 2015, Talk
  • FORTE 2015, Talk
• Refinement Selection
  • SPIN 2015, Slides
• CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses
  • TACAS 2014, Talk
  • TACAS 2014, Poster
• CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation
  • TACAS 2013, Talk
• Explicit-State Model Checking Based on CEGAR and Interpolation
  • AVM 2012, Talk
  • ISoLA 2012 – Linux Driver Verification Workshop, Talk
  • FASE 2013, Talk
• CPAchecker with Adjustable Predicate Analysis
  • TACAS 2012, Talk

Lehre an Universität Passau

• Sommercamp Informatik: Entwicklung sensor-unterstützter Android Apps: 2011, 2012, 2013, 2014, 2015
• Übung: Software Engineering: 2010, 2011, 2012, 2015
• Seminar: Entwurf und Analyse von Softwaresystemen: 2012, 2013, 2014
• Praktikum: Software Engineering für Informatik: 2013, 2014
• Praktikum: Software Engineering für Internet Computing: 2014
• Seminar: Testen und Analyse von Softwaresystemen: 2012
• Seminar: Softwaretechnik: 2010, 2011
• Übung: Programmierung II: 2011

Auszeichnung

1. Gödel-Medaille für Beiträge zur Erforschung effizienter Verifikationsmethoden und -algorithmen, für den Technologietransfer durch die Implementierung im Software-System CPAchecker und für die Erfolge im internationalen Wettbewerb für Software-Verifikation
2. Acht Gold-Medaillen, neun Silber-Medaillen und fünf Bronze-Medaillen in den internationalen Wettbewerben für Software-Verifikation 2012, 2013, 2014, 2015 und 2016

Ehrenamt

• Mitglied des Ausschuss der DJK Eintracht Patriching (2004 – 2018)
• Abteilungsleiter der Baseball Mannschaft “Passau Beavers” (2004 – 2018)
• Trainer der Baseball Mannschaft “Passau Beavers” (2004 – 2012)