• Skip to main navigation
  • Skip to content
  • Skip to footer
  • Skip to search
Institute of Software Engineering and Programming Languages
Ulm University logo
Menu
  • Institute of Software Engineering and Programming Languages
  • Institute
    • Institute
    • Homepage
    • News
    • Vacancies
    • Contact
  • Teaching
    • Teaching
    • Overview
    • Topics for Theses and Projects
    • Supervised Theses
  • Research
    • Research
    • Overview
    • Projects
      • Projects
      • SafeSec
      • CoreASM
      • Ensure
      • Flux
      • GENIAL
      • Inline
      • MENTOR
      • MICE
      • OBDDimal
      • Feature Model Counting
      • SORRIR
      • Quadcopter Lab
      • VariantSync
      • Super-Linear Speedup by Program Transformation
      • Embedding of Constraint Handling Rules
    • Publications
  • Team
    • Team
    • Overview
    • Prof. Dr. Matthias Tichy
    • Prof. Dr. Thom Frühwirth
    • Prof. Dr. Thomas Thüm
    • SoftVarE Working Group
    • CHR Research Group
    • External Doctorands
    • Supervised dissertations
    • Former Employees and Doctorands
You are here:
  • SP
  • Team
  • Supervised dissertations
    • FB
    • T
    • @
  • DE
  • Print
  • Top
  • Ulm University

    • A–Z
    • Campus maps
    • Press
    • Job opportunities
    • Events calendar
    • Phone Directory
  • Legal information

    • About this Website
    • Privacy Policy
    • Website accessibility statement (German only)
  • Responsible for the content of this page:
    https://www.uni-ulm.de/index.php?id=5716
    Prof. Dr. Matthias Tichy
    Last modified:
    12. October 2020
    FB T YT I linkedin xing
Logo: Certificate since 2008 - audit family-friendly university
Logo: Universities for openness, tolerance and against xenophobia
© 2022 Universität Ulm | Ulm University