Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Wintersemester 21/22

Escape Room Lab Praktikum für Masterstudiengänge der Technischen Fakultät
Verifikation Digitaler Schaltungen / Verification of Digital Circuits Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE
Embedded Systems Vorlesung fur BSc und MSc Studenten an der technischen Fakultät

Sommersemester 2021

Quantitative Verification Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

Wintersemester 2020/21

(Pro-)Seminar: Methods for Analysis and Quality Assurance in Computer Aided Engineering (CAE) Dieses (Pro-)Seminar befasst sich mit aktuellen Forschungsthemen im Bereich CAE. Schwerpunkte werden „Formale Methoden (IC3/PDR, POMDPs und MaxSAT) und Lernverfahren (Machine Learning Techniken mit Anwendung in der Mustererkennung von Time-Series Data) sein.