Logo Institute of Electrical Power and Energy Technology
Institute of Electrical Power and Energy Technology
Logo Institute of Electrical Power and Energy Technology
Institute of Electrical Power and Energy Technology
DE
EN
Search
DE
EN
Search
IEET > Staff > Research Assistants > Leon Maximilian Helmich, M.Sc.

Leon Maximilian Helmich

M.Sc.
Research Assistant

Contact

Leon Maximilian Helmich
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Harburger Schloßstraße 22a,
21079 Hamburg
Building HS22a, Room 2.005
Phone: +49 40 42878 2379
Logo

Research Project

iTherNet
Intelligent Thermal Networks - New cooling technologies and energy-optimized operating concepts

iTherNet

Intelligent Thermal Networks - New cooling technologies and energy-optimized operating concepts

 Federal Ministry for Economic Affairs and Climate Action (BMWK); Duration: 2020 - 2023

to the project page

Publications

TUHH Open Research (TORE)

2023

2021

Courses

Stud.IP
zur Veranstaltung in Stud.IP Studip_icon
Software Verification (VL)
Untertitel:
This course is part of the module: Software Verification
Semester:
WiSe 23/24
Veranstaltungstyp:
Vorlesung (Lehre)
Veranstaltungsnummer:
lv629_w23
DozentIn:
Prof. Dr. Sibylle Renate Schupp, Antje Rogalla
Beschreibung:

    • Model checking (bounded model checking, CTL, LTL)

    • Real-time model checking (TCTL, timed automata)
    • Deductive verification (Hoare logic)
    • Tool support
    • Recent developments of verification techniques and applications
Leistungsnachweis:
610 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li></ul><br>611 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li><li>811 - Software Verification - Exercises: Excercises</li></ul>
ECTS-Kreditpunkte:
3
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Softwaresysteme (E-16)
In Stud.IP angemeldete Teilnehmer: 76
Anzahl der Postings im Stud.IP-Forum: 23
Anzahl der Dokumente im Stud.IP-Downloadbereich: 6

Supervised Theses

ongoing

2024

  • Eberhard, F. (2024). Estimating AC and DC losses in the inductor of a switch mode power supply..

completed
TU Hamburg
Institute of Electrical Power and Energy Technology (ieet) E-6
Prof. Dr.-Ing. Christian Becker
Harburger Schloßstraße 22a
21079 Hamburg
E-mail : ieet(at)tuhh.de
Phone : +49 40 42878 3213
Links
Map and Directions
Data Privacy
Imprint