[Zurück]
 
Bitte auswählen
Jahr
Details
Sprache
Sortierung
Ausgabe
neu: RTF !
 Forschungsbericht für das Jahr 2017

Softwaretechnik

Prof. Dr. Andreas Podelski

Georges-Köhler-Allee 52
79110 Freiburg
Tel: 8241 Fax: 8242
Email podelski@informatik.uni-freiburg.de
http://swt.informatik.uni-freiburg.de/


Wissenschaftliche Mitarbeiterinnen und Mitarbeiter

Einträge in der Rubrik "Who is Who"

Forschungsschwerpunkte

  • Software Productivity Tools
  • Program Verification and Analysis
  • Requirements Analysis
  • Testing and Program Analysis

Finanzierung

  • DFG-Projekt "Abstrakte Kognitive Modelle"
  • DFG-Projekt SIGSMCAP
  • EU/ERC Grant

Wissenschaftliche Projekte und Forschungsvorhaben


  • DFG - Abstrakte Kognitive Modelle
  • EU/ERC Grant
    • Projektleitung: Prof. Dr. Andreas Podelski
    • Laufzeit: 01.04.2016 bis 31.03.2017
    • Details zum Projekt
  • SIGSMCAP

Wissenschaftliche Publikationen

Besondere wissenschaftliche Aktivitäten

Abschlussarbeiten

Bachelor
  • Julian Löffler: Hybrid Automata Support for the Ultimate Framework (Betreuer/in Marius Greitschus, Erstgutachter/in Prof. Dr. Andreas Podelski), 2017.
  • Malte Höck: Entwurf und Implementierung einer Software für den automatischen Handel mit Aktien (Betreuer/in Marius Greitschus, Erstgutachter/in Prof. Dr. Andreas Podelski), 2017.