World's Best Scientists 2026 revealed!

Overview

Klaus Ostermann is affiliated with the University of Tübingen in Germany and has contributed extensively to the field of Computer Science, with a focus on areas including Artificial Intelligence, Computational Theory and Mathematics, Information Systems, Hardware and Architecture, and Computer Networks and Communications.

The primary topics of their research encompass logic, programming, and type systems, formal methods in verification, software engineering research, logic, reasoning and knowledge, advanced software engineering methodologies, security and verification in computing, as well as parallel computing and optimization techniques.

Their recent publications include:

  • "Effects as capabilities: effect handlers and lightweight effect polymorphism," 2020, Proceedings of the ACM on Programming Languages
  • "Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala," 2020, Journal of Functional Programming
  • "Compiling effect handlers in capability-passing style," 2020, Proceedings of the ACM on Programming Languages
  • "From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers," 2023, Proceedings of the ACM on Programming Languages
  • "Introduction and elimination, left and right," 2022, Proceedings of the ACM on Programming Languages

Frequent co-authors working alongside Ostermann include Jonathan Immanuel Brachthäuser, Philipp Schuster, Marius Müller, David A. Binder, and Ingo Skupin.

Common venues for publishing research are:

  • Proceedings of the ACM on Programming Languages
  • arXiv (Cornell University)
  • Journal of Functional Programming

Best Publications

  • Conquering aspects with Caesar

    Mira Mezini;Klaus Ostermann

  • An overview of caesarj

    Ivica Aracic;Vaidas Gasiunas;Mira Mezini;Klaus Ostermann

  • Variability management with feature-oriented programming and aspects

    Mira Mezini;Klaus Ostermann

  • Variability-aware parsing in the presence of lexical macros and conditional compilation

    Christian Kästner;Paolo G. Giarrusso;Tillmann Rendel;Sebastian Erdweg

  • Dynamically Composable Collaborations with Delegation Layers

    Klaus Ostermann

  • Virtual machine support for dynamic join points

    Christoph Bockisch;Michael Haupt;Mira Mezini;Klaus Ostermann

  • Expressive pointcuts for increased modularity

    Klaus Ostermann;Mira Mezini;Christoph Bockisch

  • SugarJ: library-based syntactic language extensibility

    Sebastian Erdweg;Tillmann Rendel;Christian Kästner;Klaus Ostermann

  • A virtual class calculus

    Erik Ernst;Klaus Ostermann;William R. Cook

  • Polymorphic embedding of dsls

    Christian Hofer;Klaus Ostermann;Tillmann Rendel;Adriaan Moors

  • A variability-aware module system

    Christian Kästner;Klaus Ostermann;Sebastian Erdweg

  • Integrating independent components with on-demand remodularization

    Mira Mezini;Klaus Ostermann

  • Variability Mining: Consistent Semi-automatic Detection of Product-Line Features

    Christian Kastner;Alexander Dreiling;Klaus Ostermann

  • Toward variability-aware testing

    Christian Kästner;Alexander von Rhein;Sebastian Erdweg;Jonas Pusch

  • Overview of CaesarJ

    Ivica Aracic;Vaidas Gasiunas;Mira Mezini;Klaus Ostermann

  • Pointcuts as Functional Queries

    Michael Eichberg;Mira Mezini;Klaus Ostermann

  • A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation

    Yufei Cai;Paolo G. Giarrusso;Tillmann Rendel;Klaus Ostermann

  • Object-oriented composition untangled

    Klaus Ostermann;Mira Mezini

  • Projectional editing of variational software

    Eric Walkingshaw;Klaus Ostermann

  • Denotational validation of higher-order Bayesian inference

    Adam Ścibior;Ohad Kammar;Matthijs Vákár;Sam Staton

Frequent Co-Authors

Mira Mezini
Mira Mezini Technical University of Darmstadt
Christian Kästner
Christian Kästner Carnegie Mellon University
Eelco Visser
Eelco Visser Delft University of Technology
Korbinian Moeller
Korbinian Moeller University of Tübingen
Sven Apel
Sven Apel Saarland University
Hongseok Yang
Hongseok Yang Korea Advanced Institute of Science and Technology
William R. Cook
William R. Cook The University of Texas at Austin
Zoubin Ghahramani
Zoubin Ghahramani University of Cambridge
Ulrich Trautwein
Ulrich Trautwein University of Tübingen
Michael Leuschel
Michael Leuschel Heinrich Heine University Düsseldorf

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring a Computer Science education in the USA opens up multiple options for online degrees and diverse career paths. Many students begin with an associates degree online, allowing them to build foundational skills at an affordable pace and later transfer to a four-year program.

For those seeking advanced opportunities and higher earning potential, pursuing one of the most valuable masters degrees can be an excellent choice. These high-demand programs boost employment options and prepare graduates for leadership and specialized roles.

Cost is a major concern for many prospective students. Fortunately, there are numerous cheapest online degrees now available, making higher education more accessible than ever before. Plus, if you’re worried about academic requirements, consider the best colleges for low gpa, which offer reputable programs and flexible admissions.

With flexible online learning options, tailored degree levels, and support for all types of students, forging a new Computer Science career path in the USA has never been more achievable.

Best Scientists Citing Klaus Ostermann

Trending Scientists