Formally Verified Autonomous Vehicles - Einzelansicht

Zugeordnete Personen
Zugeordnete Personen	Zuständigkeit
Ringert, Jan, Prof., Dr.rer.nat.	verantwortlich
Soaibuzzaman, . , Master of Science

Studiengänge
Abschluss	Studiengang	Semester	Leistungspunkte
B. Sc.	Medieninformatik (B.Sc.), PV 29	-	15
B. Sc.	Medieninformatik (B.Sc.), PV 11	-	15
B. Sc.	Medieninformatik (B.Sc.), PV 16	-	15
B. Sc.	Medieninformatik (B.Sc.), PV 17	-	15
M. Sc.	Digital Engineering (M.Sc.), PV 19	-	12
M. Sc.	Computer Science for Digital Media (M.Sc.), PV 18	-	15
B. Sc.	Informatik (B.Sc.), PV 2020	-	12
M. Sc.	Computer Science for Digital Media (M.Sc.), PV 2020	-	12
M. Sc.	Digital Engineering (M.Sc.), PV 2023	-	12

Zuordnung zu Einrichtungen
Fachbereich Medieninformatik
Fakultät Medien

Inhalt
Beschreibung	We will develop formally verified software to control autonomous vehicles. We will use industry-strength software platforms like the Robot Operating System (ROS2).
Bemerkung	Time and place will be announced at the project fair.
Voraussetzungen	Digital Engineering students must have completed their fundamentals.
Zielgruppe	B.Sc. Medieninformatik / Informatik M.Sc. Computer Science and Media / Computer Science for Digital Media M.Sc. Digital Engineering

Strukturbaum

Die Veranstaltung wurde 9 mal im Vorlesungsverzeichnis SoSe 2026 gefunden:

Veranstaltungsverzeichnis der Bauhaus-Universität Weimar

Fakultät Medien

English-taught courses of the Faculty

Master - - - 1

Bachelor - - - 2

B.Sc. Informatik (ab PV 2020)

Projekt- und Einzelarbeit

Informatikprojekt - - - 3

Security- oder Data-Science-Projekt - - - 4

B.Sc. Medieninformatik (ab PV 16)

Projekt- und Einzelarbeit - - - 5

M.Sc. Computer Science for Digital Media (ab PV 2020)

Projects - - - 6

M.Sc. Digital Engineering (ab PV 2023)

Project - - - 7

M.Sc. Digital Engineering

Project - - - 8

M.Sc. Computer Science for Digital Media

Project - - - 9