Formální verifikace pro návrh přibližných systémů
Školitel: Prof. Ing. Tomáš Vojnar. Ph.D.
Instituce: Vysoké učení technické v Brně, Fakulta informačních technologií
Obor: Výpočetní technika a informatika
O mém projektu
Aplikace přibližného počítání může přinést výrazné snížení energetické spotřeby počítačových systémů. V praxi by to znamenalo například zvýšení doby výdrže baterie mobilních zařízení nebo výraznou úsporu nákladů na provoz velkých výpočetních center.
Toto téma je velice aktuální výzkumnou oblastí, první výsledky výzkumu jsou navíc velice slibné.
Kde se profesně vidím za 10 let
Rád bych své znalosti dosažené při studiu využil k získání zaměstnání v jedné z předních IT firem a rozšířil svůj Ph.D. teoretický výzkum na praktickou aplikaci.
Co mám na Brnu nejvíc rád
Na Brnu mám rád to množství univerzit a studentů - všude se potkáváte s mladými lidmi.