Obhajoba dizertační práce Ing. Jana Onderky

Kdy

6. 6. 2025
10:00

Kde

TH:A-1435

Dne 6. června 2025 v 10:00 bude probíhat obhajoba dizertační práce Ing. Štěpána Plachého „Abstraction-Based Machine-Code Program Verification“. Obhajoba se uskuteční v místnosti TH:A-1435.

Oznámení o obhajobě dizertační práce - Ing. Jan Onderka (PDF, 132,25 KB)

Další události

5. 6. – 7. 6. 2025

Veletrh vědy 2025

Přijďte na největší vědecký veletrh, kde budete moci prozkoumat široké spektrum vědy a moderních technologií. V prostoru expozice ČVUT...

18. 6. 2025

VědaFest 2025: Život s vědou

Prožijte na letošním VědaFestu jedinečný den plný pokusů, vynálezů a interaktivních zážitků! Student, dítě, rodič nebo zvídavý...

26. 6. – 28. 6. 2025

The 13th Prague Embedded Systems Workshop

Konference Soutěže

Na mezinárodním výzkumném setkání PESW doktorandi prezentují a diskutují své výsledky a pokroky ve všech aspektech návrhu, testování...