BrandingBranding
Fakultät
Mathematikon Entrance

Unsere Fakultät ist akademische Heimat von Forscher:innen, Dozent:innen, und Student:innen der Mathematik und Informatik. Ihre Institute und Betriebseinrichtungen sind untergebracht im angenehm gelegenen Mathematikon auf dem Campus Neuenheimer Feld der Universität Heidelberg. Herzlich Willkommen!

Promotion
Mathematikon Seminar Room

Die Promotion ist der Nachweis der Befähigung zu selbständiger wissenschaftlicher Forschung. Unter dem Schirm der Gesamtfakultät für Mathematik, Ingenieur- und Naturwissenschaften vergeben wir jedes Jahr über 30 Doktortitel in den Fächern Mathematik und Informatik.

Studium
Mathematikon Library

heiMATH: Ob Mathematik, Informatik oder eine interdisziplinäre Variante, mit Abschluss B.Sc., M.Sc. oder M.Ed., Berufsziel in Forschung, Schule oder Industrie: Bei uns in Heidelberg finden Sie ein reichhaltiges und erstklassiges Lehrangebot für ein anspruchsvolles Studium in einer intellektuell stimulierenden und traditionsreichen Umgebung. 

Outreach
Mathematikon Lobby

Wir fördern das Interesse an Mathematik und Informatik – durch unsere Veranstaltungen für Schulen sowie ein breites Publikum. Ehemalige und Einsteiger nehmen Teil und tragen bei zu gemeinsamem Wissen und Kontakten.

home icon
envelope icon
Server
Mathematik und Informatik — Forschung

Software Systeme und Engineering

Im Fokus von Software Systeme und Engineering stehen die Struktur, das Verhalten, die Qualität komplexer IT-Systeme in unterschiedlichen Kontexten sowie Entwicklung, Betrieb und Nutzung dieser Systeme.

Der Schwerpunkt in Heidelberg sind die Qualitäten IT-Sicherheit, Zuverlässigkeit, Wartbarkeit und Gebrauchstauglichkeit. Im Bereich IT-Sicherheit entwickeln wir Methoden zur Modellierung and Evaluierung von Angriffen, die die Entwicklung von Gegenmaßnahmen unterstützen, z. B. Sicherheitmodelle, Kryptografie, Zugangsmechanismen, digitale Identitäten oder Penetrationstests. Im Bereich Wartbarkeit und Gebrauchstauglichkeit entwickeln wir Methoden des Requirements engineering  und des Rationale management um qualitativ hochwertige Software Engineering Prozesse über den gesamten Produktlebenszyklen zu gewährleisten. Weiterhin fokussieren wir auf parallel und verteilte Systems im Bezug auf skalierbare Datenanalyse, KI-basierte Methoden zur Unterstützung der Programmierung sowie Softwarezuverlässigkeit.

Aktuelle Themen und Projekte

  • ConDec: ConDec unterstützt die durchgängige Verwaltung von Entscheidungswissen. Das Werkzeug stellt Features and Ansichten zur Verfügung zur Dokumentation und Nutzung des Entschedungswissen zusammen mit Softwareartfakten, wie Anforderungen und Code. Es ist angepasst an die Prozess der agilen Softwareentwicklung.
  • SmartAge: Im Rahmen dieses interdisziplinären Projekts werden 1000 ältere Menschen mit Hardware und Software ausgestattet, um die Lebensqualität zu erhöhen. Das Projekt untersucht die Effekte im Detail, und auch, wie explizites und implizites Nutzungsfeedback stimuliert, analysiert und genutzt werden kann.
  • NLDSL: Das NLDSL Projekt addressiert die schnelle Implementierung von Domänenspezifischen Sprachen (DSLs), insbesondere zur skalierbaren Datenanalyse. Zum Beispiel wurde eine Visual Studio Codeerweiterung  implementiert, die 5000+ Nutzer:innen in der ganzen Welt DSLs zur vereinfachten Programmierung mit Pandas, Apache Spark, oder Tensorflow bereitstellt.

Forschungsgruppenleiter

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

Institut für Informatik

Künstliche Intelligenz für Programmierung; Skalierbare Datenanalyse; Zuverlässigkeit von Softwaresystemen

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

Interdisziplinäres Zentrum für wissenschaftliches Rechnen

Quantifizierung von Unsicherheiten, datenintensives Rechnen, Medizintechnik

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

Institut für Informatik

Rationale Management, Anforderungsmanagement

 
Prof. Dr. Barbara Paech
Zuletzt aktualisiert am 2. Sep. 2021 um 12:54