Zur Person

Wehr, Stefan

Prof. Dr. rer. nat.

+49 781 205-4712

Raum: B117

Badstraße 24, 77652 Offenburg

Funktionen

  • Professor

Lehrveranstaltungen

  • Programmierung
  • Algorithmen & Datenstrukturen
  • Anwendungsentwicklung
  • Compiler und Sprachtechnologien
Stefan Wehr

Akademischer Werdegang

• seit 2020: Professor für Programmierung, Algorithmen und Datenstrukturen an der Hochschule Offenburg
• 2011: Promotion am Arbeitsbereich Programmiersprachen, Institut für Informatik, Universität Freiburg
• 2005: Diplom Informatik Universität Freiburg

Berufstätigkeit

2010 - 2020: Softwareentwickler und Softwarearchitekt bei der heutigen MEQO GmbH in Freiburg. Schwerpunkt: mobile und serverseitige Software im Bereich des Gesundheitssystems

 

Forschungsprojekte

Ich möchte Software so strukturieren und gestalten, dass sie nicht nur funktionalen Anforderungen genügt, sondern auch möglichst einfach zu verstehen ist, effizient entwickelt werden kann, hohe Qualitätsansprüche erfüllt, gut wart- und testbar ist und in der Zukunft erweitert werden kann. Dazu forsche ich in den Bereichen Programmiersprachen und Softwarearchitektur.

 

Projekte

  • Theoretische Grundlagen und praktische Anwendungen von Go mit Generics (DFG, gepris.dfg.de/gepris/projekt/550537604)
  • Etylizer, statischer Typchecker für Erlang (https://github.com/etylizer/etylizer)

 


 

I want to structure and design software so that it not only meets its functional requirements but is also as easy to understand as possible, can be developed efficiently, meets high quality standards, is easy to maintain and test, and can be extended in the future. To this end, my research focuses on programming languages and software architecture.

Projects

 

Reviewed Papers

  • DFG

Publikationen

2024

Konferenzveröffentlichung

A Second Soul: Celebrating the Many Languages of Programming ; Proceedings in honor of Peter Thiemann's 60th birthday.

Annette Bieniusa, Markus Degen, Stefan Wehr (Eds.), v, 35 S., 2024

BibTeX | RIS | DOI

Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang

Erlang 2024: Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, pp. 2-12, 2024

BibTeX | RIS | DOI

Zeitschrift (Einzelnes Zeitschriftenheft)

A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday

Electronic Proceedings in Theoretical Computer Science, Vol. 413, 92 S., Annette Bieniusa, Markus Degen, Stefan Wehr (Eds.), 2024

BibTeX | RIS | DOI | ARXIV

2023

Konferenzveröffentlichung

Stefan Wehr

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations

FUNARCH 2023: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, pp. 1-10, 2023

BibTeX | RIS | DOI

Albert Schimpf, Stefan Wehr, Annette Bieniusa

Set-theoretic Types for Erlang

IFL '22: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, pp. 1-14, 2023

BibTeX | RIS | DOI

Zeitschriftenartikel, wissenschaftlich

Martin Sulzmann, Stefan Wehr

A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go

Journal of Functional Programming, Vol. 33, pp. 1-63, 2023

PDF | BibTeX | RIS | DOI | URN

2022

Konferenzveröffentlichung

Martin Sulzmann, Stefan Wehr

Semantic preservation for a type directed translation scheme of Featherweight Go

Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, Ekaterina Komendantskaya (Ed.), pp. 178-197, 2022

BibTeX | RIS | DOI

Preprint

Martin Sulzmann, Stefan Wehr

A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go

58 S., 2022

BibTeX | RIS | DOI | ARXIV | ARXIV

2021

Konferenzveröffentlichung

Martin Sulzmann, Stefan Wehr

A Dictionary-Passing Translation of Featherweight Go

Programming Languages and Systems : Proceedings of APLAS 2021, Hakjoo Oh (Ed.), pp. 102-120, 2021

BibTeX | RIS | DOI