TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

|    

Dr. Benjamin Hummel
Technische Universität München    Institut für Informatik Boltzmannstr. 3 85748 Garching Deutschland Tel. +49(89)289-17336 Fax.+49(89)289-17307 hummelb in.tum.de Büro: MI 01.11.043 Dr. Benjamin Hummel ist Mitglied in den Kompetenzzentren Maintenance , Verification and Testing

Research Interests

• Model-based development of mechatronic systems (see AF/STEM)
• Formal specification of (mostly embedded) software systems
• Software quality and maintenance (see ConQAT)
• Clone detection in both code and models