Mathematikon Entrance

Our Faculty is the academic home of researchers, teachers, and students of Mathematics and Computer Science. Its institutes and facilities are housed in the Mathematikon, pleasantly located on the Campus Neuenheimer Feld of Heidelberg University. Welcome!

Mathematikon Staircase

The Doctorate signifies a proven ability to conduct independent scientific research. Under the auspices of the Combined Faculty of Mathematics, Engineering and Natural Sciences, we confer the academic degree Dr. rer. nat. in the subjects of mathematics and computer science.

Mathematikon Library

Students interested in Mathematics, Computer Science, or an interdisciplinary field, pursuing a B.Sc., M.Sc., or M.Ed., and aiming for a career in research, teaching, or the private sector, will find here in Heidelberg a full range of first-class courses for a challenging and enriching educational experience in an intellectually stimulating environment with historical cachet.

Mathematikon Lobby

We seek to promote the interest in mathematics and computer science by organizing events for schools and for the broader public. Alumns and newcomers join in and contribute to shared knowledge and contacts.

home icon
envelope icon
Mathematics and Computer Science — Research

Software Systems and Engineering

Software Systems and Engineering focuses on the structure, behavior and quality of complex IT-systems in diverse contexts as well as on the development, operation and usage of these systems.

In Heidelberg, we focus on the qualities IT-security, reliability, maintainability and usability. For IT-security we develop methods for modelling and evaluation of attacks in order to develop countermeasures, in particular security models, cryptography, access measures, digital identities, penetration tests. For maintainability and usability, we develop methods for requirements engineering and rationale management to ensure high-quality software engineering processes over the whole product-lifecycle. Furthermore, we focus on parallel and distributed systems in terms of scalable data analysis, AI-based methods for programming support, and software reliability.

Current Activities and Projects

  • ConDec: The ConDec tools support the continuous management of decision knowledge. They provide features and views for documenting and exploiting decision knowledge in the context of software artifacts, in particular requirements and code, and integrate into the workflows of agile software development.
  • SmartAge: This interdisciplinary project equips 1000 older adults with hard- and software to support quality of life and studies their effects. In particular, we study how to elicit, analyze and exploit implicit and explicit user feedback.
  • NLDSL: The NLDSL project addresses accelerated implementation of Domain Specific Languages (DSLs), in particular for scalable data analysis. An exemplary result is a Visual Studio Code extension which supports 5000+ users worldwide with DSLs for simplified programming with Pandas, Apache Spark,  or Tensorflow.

Research Group Leaders

Prof. Dr. Artur AndrzejakParallel and Distributed Systems Group (PVS)

Institute for Computer Science

Artificial Intelligence for Programming; Scalable Data Analysis; Reliability of Software Systems

Prof. Dr. Artur Andrzejak
Prof. Dr. Vincent HeuvelineEngineering Mathematics and Computing Lab (EMCL)

Interdisciplinary Center for Scientific Computing (IWR)

Uncertainty quantification, data intensive computing, medical engineering

Prof. Dr. Vincent Heuveline
Prof. Dr. Barbara PaechSoftware Engineering Group

Institute for Computer Science

Rationale Management, Requirements Engineering

Prof. Dr. Barbara Paech
Last updated on Oct 29, 2022 at 7:52 AM