Beruflicher Werdegang

• 48bytesNorth GmbH		94032 Passau
  Chief Technology Officer (CTO)		04/2021 – 07/2026

  • Design, Implementierung und Weiterentwicklung einer RESTful Spring-Boot Plattform im Kontext des geführten Börsenhandels im DACH Raum und in den USA mit einem jährlichen Handelsvolumen von insgesamt über zwei Millarden EUR / USD
  • vollständige Verantwortung für fehlerfreien 24/7 Betrieb des (Trading)Servers bei einem Transaktionsvolumen von durschnittlich über drei Millionen EUR / USD pro Tag
  • vollständige Verantwortung für effizienten Betrieb des (Trading)Servers bei durschnittlich über einer Million requests pro Tag
  • vollständige Verantwortung für die Architektur des (Trading)Servers
  • vollständige Verantwortung für Anbindung und Orchestrierung einer Vielzahl diverserter APIs
    • Anbindung APIs zu über zehn Broker und Banken
    • Anbindung von APIs zu notification providern (eMail, SMS, Push, Telegram, etc.)
    • Anbindung proprietärer APIs zu AWS, Fachverlagen, etc.
  • Design und Weiterentwicklung des Datenbank Schema des (Trading)Servers
  • vollständige Verantwortung für Datenbank Anbindung via JPA für CRUD operation, bzw. via jooq für performante, custom-read queries
  • komplette Personalverantwortung für zehn Mitarbeiter

• One Data GmbH		94032 Passau
  Leitung Backend Entwicklung		11/2016 – 04/2021

  • Initiierung, Design, Implementierung einer RESTful Spring-Boot Plattform im Kontext des geführten Börsenhandels im DACH Raum
  • 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
  • komplette Personalverantwortung für fünf direkt unterstellte Mitarbeiter und Personalentwicklungsverantwortung für vier weitere Mitarbeiter der Firma

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

  • Design, Implementierung und Weiterentwicklung einer RESTful Server Plattform in Java zur Digitalisierung zahlreicher Prozesse einer Steuerkanzlei
  • 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 2017, 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. 2023 ETAPS Test of Time Award für hervorragende und einflussreiche Arbeiten, die bei der ETAPS jeweils 10 Jahre zuvor veröffentlicht wurden.
2. 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
3. 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

1. Trainer der Fussball F-Jugend des FC Salzweg (2025 – heute)
2. Kassenwart des Förderverein Passau Beavers Baseball e.V. (2017 – heute)
3. Mitglied des Ausschuss der DJK Eintracht Patriching (2004 – 2025)
4. Abteilungsleiter der Baseball Mannschaft Passau Beavers (2004 – 2025)
5. Trainer der Baseball Mannschaft Passau Beavers (2004 – 2012)